Abstract

AbstractThe following strong form of density of definable types is introduced for theoriesTadmitting a fibered dimension functiond: given a modelMofTand a definable setX⊆Mn, there is a definable typepinX, definable over a code forXand of the samed-dimension asX. Both o-minimal theories and the theory of closed ordered differential fields (CODF) are shown to have this property. As an application, we derive a new proof of elimination of imaginaries for CODF.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call