A note on the effective listing of complete types
arXiv:1904.09949
Abstract
We use the "geometric axioms" point of view to give an effective listing of the complete types of the theory of differentially closed fields of characteristic . This gives another account of observations made in earlier papers.
arXiv comment7 pages