×
布鲁诺·迪尼斯;马里奥·埃德蒙多。;马塞洛·马米诺

具有可定义Skolem函数的o-极小结构中的基本群。 （英语） Zbl 1532.03058号

Ann.纯粹应用。逻辑 172，第8期，文章ID 102975，28页（2021）.
摘要：本文研究具有可定义Skolem函数的任意o-极小结构，证明了可定义连通的局部可定义流形是一致可定义的路连通的，具有可定义单连通的开放可定义子集的容许覆盖，这种局部可定义流形上的可定义路径和可定义同伦可以提升为局部可定义覆盖映射。这些性质使我们能够获得一般o-极小基本群的主要性质，包括：不变性和比较结果；泛局部可定义覆盖映射的存在性；局部常数o-极小带轮的单值等价性——正如在代数拓扑中一样，从中可以得到局部可定义覆盖映射、o-极小Hurewicz和Seifert-van-Kampen定理的分类结果。

引用于1文件

MSC公司：

03C64号 有序结构的模型理论；o极小性
55N30型 代数拓扑中的剪切上同调
58 K10 流形上的单值性
55页65 代数拓扑中的同伦函子

关键词：

o最小结构;基本群
PDF格式BibTeX公司 XML格式引用
\textit{B.Dinis}等人，Ann.Pure Appl。逻辑172，第8号，文章ID 102975，28页（2021；Zbl 1532.03058）
全文： 内政部 arXiv公司

参考文献：

[1] Baro，E。；Otero，M.，关于o-极小同伦群，Quart。数学杂志。，61, 275-289 (2010) ·Zbl 1216.03051号
[2] Baro，E。；Otero，M.，局部可定义同伦，Ann.Pure Appl。日志。，161, 488-503 (2010) ·Zbl 1225.03043号
[3] Berarducci，A。；Otero，M.，O-最小基本群，同调和流形，J.Lond。数学。Soc.，65，2，257-270（2002）·Zbl 1013.03044号
[4] Berarducci，A。；Otero，M.，最小拓扑的传输方法，J.Symb。日志。，68, 3, 785-794 (2003) ·兹比尔1060.03059
[5] Delfs，H。；Knebusch，M.，《关于实闭域上代数簇的同源性》，J.Reine Angew。数学。，335, 122-163 (1982) ·Zbl 0484.14006号
[6] Delfs，H。；Knebusch，M.，《局部半代数空间导论》，《落基山数学》。，14, 945-963 (1984) ·Zbl 0586.14017号
[7] Delfs，H。；Knebusch，M.，局部半代数空间，LNM，第1173卷（1985），Springer-Verlag·Zbl 0582.14006号
[8] 埃德蒙多，M。；Eleftheriou，P.，群的o-极小展开中的泛覆盖同态，数学。日志。Q.，53，6，571-582（2007）·Zbl 1130.03027号
[9] 埃德蒙多，M。；Otero，M.，可定义地紧阿贝尔群，J.Math。日志。，4, 2, 163-180 (2004) ·Zbl 1070.03025号
[10] 埃德蒙多，M。；Prelli，L.，o-minimum结构中的庞加莱-威尔第对偶，傅里叶学院，格勒诺布尔，60，4125-91288（2010）·Zbl 1235.03070号
[11] 埃德蒙多，M。；琼斯·G。；Peatfield，N.，《o-极小结构中的Sheaf上同调》，J.Math。日志。，6, 2, 163-179 (2006) ·Zbl 1120.03024号
[12] 埃德蒙多，M。；琼斯·G。；Peatfield，N.，群的可定义扩张的不变性结果，Arch。数学。日志。，50, 1-2, 19-31 (2011) ·Zbl 1222.03042号
[13] 埃德蒙多，M。；Eleftheriou，P。；Prelli，L.，群的o-最小展开式中的通用覆盖图，白杨。申请。，160, 13, 1530-1556 (2013) ·Zbl 1315.03058号
[14] 埃德蒙多，M。；马米诺，M。；Prelli，L.，在可定义的适当地图上，Fundam。数学。，233, 1, 1-36 (2016) ·Zbl 1353.03033号
[15] 埃德蒙多，M。；马米诺，M。；普雷利，L。；Ramakrishnan，J。；Terzo，G.，《论一般情况下的皮莱猜想》，高等数学。，310, 940-992 (2017) ·Zbl 1423.03131号
[16] 埃德蒙多，M。；Cubides Kovacsics，P。；Ye，J.，非阿基米德域上代数簇的上同调·Zbl 1512.14015号
[17] Eleftheriou，P.，线性o-极小结构中可定义的群（2007），圣母大学博士论文
[18] Eleftheriou，P。；Starchenko，S.，有序除环上有序向量空间中可定义的群，J.Symb。日志。，72, 1108-1140 (2007) ·Zbl 1130.03028号
[19] Eleftheriou，P。；彼得齐尔，Y。；Ramakrishnan，J.，可解释群是可定义的，J.数学。日志。，14，第1450002条，第（2014）页·Zbl 1337.03053号
[20] Fulton，W.，代数拓扑（1995），Springer Verlag·Zbl 0852.55001号
[21] Giesecke，B.，Simpliziale Zerlegung abzählbarer analysischer Räume，Math。Z.，83，177-213（1964）·Zbl 0123.39602
[22] Hironaka，H.，代数几何中代数集的三角化，Proc。交响乐团。纯数学。，第29卷，165-185（1975），AMS:AMS普罗维登斯，RI·Zbl 0332.14001号
[23] 赫鲁肖夫斯基，E。；Loeser，F.，《非阿基米德Tame拓扑和稳定支配类型》，《数学研究年鉴》，第192卷（2016），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿·Zbl 1365.14033号
[24] Kashiwara，M。；夏皮拉，P.，《类别和滑轮》（2006），施普林格出版社·Zbl 1118.18001号
[25] Łojasiewicz，S.，《半分析集的三角剖分》，《科学年鉴规范》。超级的。比萨，18，449-474（1964）·Zbl 0128.17101号
[26] 彼得齐尔，Y。；Steinhorn，C.，可定义紧性和o-极小群的可定义子群，J.Lond。数学。Soc.，59，2769-786（1999年）·Zbl 0935.03047号
[27] van den Dries，L.，《Tame拓扑和o-极小结构》，伦敦数学。Soc.讲座笔记系列，第248卷（1998），剑桥大学出版社：剑桥大学出版社·Zbl 0953.03045号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。