English

Defining new linear functions in tame expansions of the real ordered additive group

Logic 2021-10-26 v1

Abstract

We explore \emph{semibounded} expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We introduce the notion of a \emph{semibounded} expansion of an arbitrary ordered group, extending the usual notion from the o-minimal setting. For R=(R,<,+,)\mathcal{R}=( \mathbb{R}, <, +, \ldots), a semibounded o-minimal structure and PRP\subseteq \mathbb{R} a set satisfying certain tameness conditions, we discuss under which conditions (R,P)(\mathcal R,P) defines total linear functions that are not definable in \mathcal{R}. Examples of such structures that does define new total linear functions include the cases when R\mathcal{R} is a reduct of (R,<,+,(0,1)2,(xλx)λIR)(\mathbb{R},<,+,\cdot_{\upharpoonright (0,1)^2},(x\mapsto \lambda x)_{\lambda\in I\subseteq \mathbb{R}}), and P=2ZP= 2^\mathbb{Z}, or PP is an iteration sequence (for any II) or P=ZP=\mathbb{Z}, for I=QI=\mathbb{Q}.

Keywords

Cite

@article{arxiv.2110.12407,
  title  = {Defining new linear functions in tame expansions of the real ordered additive group},
  author = {Alex Savatovsky},
  journal= {arXiv preprint arXiv:2110.12407},
  year   = {2021}
}