Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1601

Preprint Number 1601

Previous Next Preprint server

1601. Anand Pillay
A note on the effective listing of complete types

Submission date: 22 April 2019


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

Mathematics Subject Classification: 03C60, 12H05

Keywords and phrases:

Full text arXiv 1904.09949: pdf, ps.

Last updated: April 26 2019 09:45 Please send your corrections to: