MODNET
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
E-mail:

Submission date: 21 May 2013.

Abstract:

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: March 23 2021 09:22 Please send your corrections to: