实闭域的加法归约与强有界结构
逻辑
2023-11-08 v1
摘要
给定实闭域，我们精确识别出的恰好四个真归约，它们扩张了底层的（无序）-向量空间结构。为证明该定理，我们引入一个新概念，即线性序结构的强有界归约：线性序结构的归约被称为\emph{强有界}，若每个-可定义子集在中要么有界要么余有界。我们研究了o极小结构的强有界加法归约，并作为推论证明了上述关于实闭域加法归约的定理。
引用
@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}
}