A tetrachotomy for expansions of the real ordered additive group
Abstract
Let be an expansion of the ordered real additive group. When is o-minimal, it is known that either defines an ordered field isomorphic to on some open subinterval , or is a reduct of an ordered vector space. We say is field-type if it satisfies the former condition. In this paper, we prove a more general result for arbitrary expansions of . In particular, we show that for expansions that do not define dense -orders (we call these type A expansions), an appropriate version of Zilber's principle holds. Among other things we conclude that in a type A expansion that is not field-type, every continuous definable function is locally affine outside a nowhere dense set.
Keywords
Cite
@article{arxiv.1709.03150,
title = {A tetrachotomy for expansions of the real ordered additive group},
author = {Philipp Hieronymi and Erik Walsberg},
journal= {arXiv preprint arXiv:1709.03150},
year = {2021}
}
Comments
A previous version of this paper was disseminated under the title "On continuous functions definable in expansions of the ordered real additive group''