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 , a semibounded o-minimal structure and a set satisfying certain tameness conditions, we discuss under which conditions 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 is a reduct of , and , or is an iteration sequence (for any ) or , for .
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}
}