A fundamental dichotomy for definably complete expansions of ordered fields
Logic
2016-01-19 v2
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.
Keywords
Cite
@article{arxiv.1305.4767,
title = {A fundamental dichotomy for definably complete expansions of ordered fields},
author = {Antongiulio Fornasiero and Philipp Hieronymi},
journal= {arXiv preprint arXiv:1305.4767},
year = {2016}
}