一类弱o-极小理论的可定义选择
证明了对于适当凸子集U,当M′有值时,扩张结构M的理论精确地具有可定义的Skolem函数,并得到了任何此类理论都不满足可定义选择的初等证明。 带凸值的O-极小域的模型完备性
(R,V)在包含R0所有元素常数的语言中被视为结构,相对于R中的量词消除而言,它是模型完备的,前提是kR(由R导出的具有结构的剩余字段)是o极小的。 极小理论中的可定义类型
目的是提供r-极小结构上可定义类型的特征,推广van den Dries的结果,并证明r的M-极小展开上的每一类型都是可定义的。 有序估值环量词的消除
在有序值域的上下文中考虑了可除性(DP);它也出现在[2]中,并且在Becker[1]中从模型理论的角度进行了进一步的研究。 弱o-极小结构与实闭域
如果一个线性序结构中的所有可定义集都是该结构中有限多个凸集的并集,则该结构是弱o-极小的。引入了弱o-最小结构…
T-凸性与驯服扩张
本文的主要目的是确定(,V)在其剩余域及其值群Γ上诱导的结构,这将表示一个扩展RCF的完备o极小理论,即实闭域理论。 分叉和荆棘分叉的几何导论
本文的方法是将独立关系视为值得研究的数学对象,以便更好地理解刺函数,它与代数闭集格中的模对密切相关。