Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 586

Preprint Number 17

Previous Next Preprint server

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:

Full text arXiv 1305.4767: pdf, ps.

Last updated: June 7 2013 15:36 Please send your corrections to: