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

Preprint Number 915

Previous Next Preprint server

915. Silvain Rideau
Imaginaries and invariant types in existentially closed valued differential fields

Submission date: 31 August 2015.


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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1508.07935: pdf, ps.

Last updated: September 11 2015 09:12 Please send your corrections to: