A note on the effective listing of complete types
Logic
2019-04-23 v1 Algebraic Geometry
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.
Keywords
Cite
@article{arxiv.1904.09949,
title = {A note on the effective listing of complete types},
author = {Anand Pillay},
journal= {arXiv preprint arXiv:1904.09949},
year = {2019}
}
Comments
7 pages