A note on the effective listing of complete types
classification
🧮 math.LO
math.AG
keywords
completeeffectivelistingtypesaccountanotheraxiomscharacteristic
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.