English

A tetrachotomy for expansions of the real ordered additive group

Logic 2021-03-09 v3

Abstract

Let R\mathcal{R} be an expansion of the ordered real additive group. When R\mathcal{R} is o-minimal, it is known that either R\mathcal{R} defines an ordered field isomorphic to (R,<,+,)(\mathbb{R},<,+,\cdot) on some open subinterval IRI\subseteq \mathbb{R}, or R\mathcal{R} is a reduct of an ordered vector space. We say R\mathcal{R} is field-type if it satisfies the former condition. In this paper, we prove a more general result for arbitrary expansions of (R,<,+)(\mathbb{R},<,+). In particular, we show that for expansions that do not define dense ω\omega-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 [0,1]mRn[0,1]^m \to \mathbb{R}^n 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''