Imaginaries and invariant types in existentially closed valued differential fields
Logic
2016-12-08 v2
Abstract
We answer two open questions about the model theory of valued differential fields introduced by Scanlon. We show that they eliminate imaginaries in the geometric language introduced by Haskell, Hrushovski and Macpherson and that they have the invariant extension property. These two result follow from an abstract criterion for the density of definable types in enrichments of algebraically closed valued fields. Finally, we show that this theory is metastable.
Keywords
Cite
@article{arxiv.1508.07935,
title = {Imaginaries and invariant types in existentially closed valued differential fields},
author = {Silvain Rideau},
journal= {arXiv preprint arXiv:1508.07935},
year = {2016}
}
Comments
41 pages. The paper was significantly shortened for publication