A note on the effective listing of complete types

2019/04/22 by Anand Pillay, Pillay, Anand
Mathematics · #Algebraic Geometry and Number Theory #Homotopy and Cohomology in Algebraic Topology #Advanced Algebra and Geometry

paper · pdf · doi:10.48550/arxiv.1904.09949

Abstract

We use the "geometric axioms" point of view to give an effective listing of the complete types of the theory DCF₀ of differentially closed fields of characteristic 0. This gives another account of observations made in earlier papers.

Related

• Algebro-geometric axioms for DCF_0,m
• The theory DCF_pA exists for p>0
• Fields with several commuting derivations
• Separably differentially closed fields
• Geometric Axioms for Differentially Closed Fields with Several Commuting Derivations