An 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.
- Definably complete
- Lebesgue’s differentiation theorem
- Second-order arithmetic
ASJC Scopus subject areas