论文标题
在可定义的Skolem功能和三分法上
On definable Skolem functions and trichotomy
论文作者
论文摘要
在本文中，我们给出了具有可定义的Skolem函数/可定义选择的O最低结构的明确表征。在将质量模型命名有限的许多元素之后，这种结构是有限的许多小点的结合，每个点都定义在$ \ emptyset $上，并且有限的许多开放间隔每个间隔都与$ \ emptySet $可定义的群体相互关系的家族与固定的正元素的结合。
In this paper we give an explicit characterization of o-minimal structures with definable Skolem functions/definable choice. Such structures are, after naming finitely many elements from the prime model, a union of finitely many trivial points each defined over $\emptyset $ and finitely many open intervals each a union of a $\emptyset $-definable family of group-intervals with fixed positive elements.
