A note on the effective listing of complete types


الملخص بالإنكليزية

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.

تحميل البحث