Publications > Preprint server > Preprint Number 1213
Preprint Number 1213
1213. Quentin Brouette, Pablo Cubides Kovacsics and Françoise Point Density of definable types and elimination of imaginaries E-mail: Submission date: 27 April 2017 Abstract: 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: |
Last updated: March 23 2021 10:20 | Please send your corrections to: |