Publications > Preprint server > Preprint Number 586
Preprint Number 17
586. Antongiulio Fornasiero, Philipp Hieronymi
A fundamental dichotomy for definably complete expansions of ordered fields
Submission date: 21 May 2013.
An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation theorem.
Mathematics Subject Classification: 03C64.
Keywords and phrases:
|Last updated: June 7 2013 15:36||Please send your corrections to:|