Author:
FORNASIERO ANTONGIULIO,HIERONYMI PHILIPP
Abstract
AbstractAn expansion of a definably complete field either defines a discrete subring, or the image of every definable discrete set under every definable map is nowhere dense. As an application we show a definable version of Lebesgue’s differentiation theorem.
Publisher
Cambridge University Press (CUP)
Reference19 articles.
1. Avoiding the projective hierarchy in expansions of the real field by sequences
2. [12] Miller C. , Expansions of dense linear orders with the intermediate value property , this Journal, vol. 66 (2001), no. 4, pp. 1783–1790.
3. Differentiability of monotonic functions
4. Definably complete Baire structures
5. Expansions of the real line by open sets: o-minimality and open cores;Miller;Fundamenta Mathematicae,1999
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献