English

Additive reducts of real closed fields and strongly bounded structures

Logic 2023-11-08 v1

Abstract

Given a real closed field RR, we identify exactly four proper reducts of RR which expand the underlying (unordered) RR-vector space structure. Towards this theorem we introduce a new notion, of strongly bounded reducts of linearly ordered structures: A reduct M\mathcal M of a linearly ordered structure R;<,\langle R;<,\cdots\rangle is called \emph{strongly bounded} if every M\mathcal M-definable subset of RR is either bounded or co-bounded in RR. We investigate strongly bounded additive reducts of o-minimal structures and as a corollary prove the above theorem on additive reducts of real closed fields.

Keywords

Cite

@article{arxiv.2205.04199,
  title  = {Additive reducts of real closed fields and strongly bounded structures},
  author = {Hind Abu Saleh and Ya'acov Peterzil},
  journal= {arXiv preprint arXiv:2205.04199},
  year   = {2023}
}