Author:
BROUETTE QUENTIN,KOVACSICS PABLO CUBIDES,POINT FRANÇOISE
Abstract
AbstractThe 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.
Publisher
Cambridge University Press (CUP)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Generic derivations on o-minimal structures;Journal of Mathematical Logic;2020-10-06