English

Tame extension of almost o-minimal structure

Logic 2022-07-08 v1

Abstract

We consider an almost o-minimal expansion of an ordered group M=(M,<,+,0,)\mathcal M=(M,<,+,0,\ldots) and its tame extension N=(N,<,+,0,)\mathcal N=(N,<,+,0,\ldots). We demonstrate that the subset {xMn    NΦ(x,a)}\{x \in M^n\;|\; \mathcal N \models \Phi(x,a)\} of MnM^n defined by a formula Φ(x,y)\Phi(x,y) with M\mathcal M-bounded parameters aa in N\mathcal N is M\mathcal M-definable. We also introduce its corollaries.

Keywords

Cite

@article{arxiv.2207.03021,
  title  = {Tame extension of almost o-minimal structure},
  author = {Masato Fujita},
  journal= {arXiv preprint arXiv:2207.03021},
  year   = {2022}
}