arXiv Analytics

Sign in

arXiv:1704.08396 [math.LO]AbstractReferencesReviewsResources

Density of definable types and elimination of imaginaries

Quentin Brouette, Pablo Cubides Kovacsics, Francoise Point

Published 2017-04-27Version 1

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.

Categories: math.LO
Subjects: 03C64, 12H05
Related articles: Most relevant | Search more
arXiv:2002.12929 [math.LO] (Published 2020-02-28)
On coincidence of dimensions in closed ordered differential fields
arXiv:1812.09378 [math.LO] (Published 2018-12-21)
Forking, Imaginaries and other features of ACFG
arXiv:1406.3654 [math.LO] (Published 2014-06-13, updated 2019-10-17)
On the proof of elimination of imaginaries in algebraically closed valued fields

Links

Toolbox