×

半直线恒星是可收缩的。 (英语) Zbl 1430.03055号

研究了具有拓扑好子集的有序除环上有序向量空间中覆盖可定义集的一般问题。作者证明了这样一个空间的每个可定义集是相对开放的可定义子集的有限并,这些子集是可定义单连通的。他还证明了每个有界可定义集是相对开放可定义子集的有限并,这些子集是可定义收缩的。

MSC公司:

03C64号 有序结构的模型理论;o极小性
20层06 有序阿贝尔群、Riesz群、有序线性空间
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] S.Andrews,《可定义开集作为可定义开单元的有限并》,《圣母院J.形式逻辑》51(2010),247-251·Zbl 1208.03041号
[2] A.Berarducci和A.Fornasiero,o-极小上同调:有限性和不变性结果,J.Math。逻辑9(2009),167-182·Zbl 1236.03030号
[3] L.van den Dries,《缓和拓扑和o-极小结构》,剑桥大学出版社,剑桥,1998年·Zbl 0953.03045号
[4] M.Edmundo,群的o-极小展开的结构定理,Ann.Pure Appl。逻辑102(2000),159-181·Zbl 0944.03027号
[5] M.Edmundo,P.Eleftheriou和L.Prelli,群的o-极小展开中的泛覆盖映射,拓扑应用。160 (2013), 1530-1556. ·Zbl 1315.03058号
[6] M.Edmundo、P.Eleftheriou和L.Prelli,《开放式细胞覆盖》,《拱门》。数学。《逻辑》53(2014),307-325·Zbl 1325.03038号
[7] P.Eleftheriou,非仿射的半线性群,Ann.Pure Appl。逻辑156(2008),287-289·Zbl 1155.03020号
[8] P.Eleftheriou,非标准格和o-极小群,布尔。符号逻辑19(2013),56-76·Zbl 1301.03036号
[9] P.Eleftheriou和S.Starchenko,在有序除法环上的有序向量空间中可定义的群,符号逻辑杂志72(2007),1108-1140·Zbl 1130.03028号
[10] E.Hrushovski和F.Loeser,非阿基米德Tame拓扑和稳定支配类型,数学年鉴。192号研究生,普林斯顿大学出版社,2016年·Zbl 1365.14033号
[11] J.Loveys和Y.Peterzil,《线性o-最小结构》,以色列数学杂志。81 (1993), 1-30. ·Zbl 0797.03034号
[12] A.Wilkie,《用开单元覆盖可定义的开集》,载于:O-极小结构(里斯本,2003),《实代数和解析几何讲义》,M.Edmundo等人(编辑),Cuvillier,G¨ottingen,2005,32-36。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。