Article contents
STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS
Published online by Cambridge University Press: 30 January 2019
Abstract
The following strong form of density of definable types is introduced for theories T admitting a fibered dimension function d: given a model M of T and a definable set X ⊆ Mn, there is a definable type p in X, definable over a code for X and of the same d-dimension as X. 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.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2019
References
REFERENCES
- 1
- Cited by