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

Preprint Number 1213

Previous Next Preprint server

1213. Quentin Brouette, Pablo Cubides Kovacsics and Françoise Point
Density of definable types and elimination of imaginaries

Submission date: 27 April 2017


We show that for every definable set X in a closed ordered differential field K, there is a definable type p in X which is definable over the code of X. As an application, we give a proof of elimination of imaginaries of CODF, the theory of closed ordered differential fields. Using a fibered dimension function on definable subsets of models of CODF, we further show that such a type may be chosen as having the same dimension as X.

Mathematics Subject Classification: 03C64, 12H05

Keywords and phrases:

Full text arXiv 1704.08396: pdf, ps.

Last updated: May 10 2017 06:31 Please send your corrections to: