Additive reducts of real closed fields and strongly bounded structures
Logic
2023-11-08 v1
Abstract
Given a real closed field , we identify exactly four proper reducts of which expand the underlying (unordered) -vector space structure. Towards this theorem we introduce a new notion, of strongly bounded reducts of linearly ordered structures: A reduct of a linearly ordered structure is called \emph{strongly bounded} if every -definable subset of is either bounded or co-bounded in . 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}
}