×

三次理论的各种预几何。 (英语) Zbl 07615834号

几何类型的描述是代数系统结构分类中的主要问题之一。除了众所周知的经典几何之外,还对强极小和ω稳定结构类的主要预几何和几何类型进行了深入研究。这些研究首先包括B.I.Zilber和G.Cherlin、L.Harrington和A.Lachlan在20世纪80年代的作品。20世纪80年代初,B.I.Zilber提出了一个著名的猜想,即强极小理论的预几何被平凡、仿射和射影预几何耗尽。E.Hrushovski驳斥了这一假设,他提出了一个非局部模的强极小结构的原始构造,并且不可能解释无限群。预几何类型的研究继续引起现代模型理论专家的注意,包括各种自然物体的几何描述,特别是Vamos拟阵。本文考虑具有代数闭包算子的三次理论的预几何。我们注意到,对于立方体理论中的预几何(langle S,mathrm{acl}rangle),当且仅当理论的模型不包含无限立方体时,特别是当不存在无限维的有限立方体的时候,替换性质成立。通过这句话,我们引入了新的概念:(c)维、(c)预几何、(c。此外,我们还证明了c预几何类型的二分法定理。

MSC公司:

03C30号 其他模型构造
03C65号 其他数学理论模型
51D05号 抽象(Maeda)几何
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Berenstein,A。;Vassiliev,E.,《关于可爱的几何结构对》,《纯粹和应用逻辑年鉴》,7866-878(2010)·Zbl 1227.03044号
[2] Berenstein,A。;Vassiliev,E.,基于弱一的几何理论,Symb。逻辑,2392-422(2012)·Zbl 1405.03077号
[3] Berenstein,A。;Vassiliev,E.,《具有密集独立子集的几何结构》,Selecta Math。,1, 191-225 (2016) ·Zbl 1433.03075号
[4] Cherlin,G.L。;哈灵顿,L。;Lachlan,A.H.,(欧米伽)-范畴结构,(欧米伽)稳定结构,《纯粹逻辑与应用逻辑年鉴》,103-135(1986)·Zbl 0566.03022号
[5] Chang,C.C。;Keisler,H.J.,模型理论。第三版XLI 697。逻辑和数学基础研究,650(1990)·Zbl 0697.03022号
[6] 霍奇斯,W.,模型理论。《数学及其应用百科全书》,772(1994),剑桥大学出版社
[7] Hrushovski,E.,《一个新的强极小集》,《纯粹逻辑与应用逻辑年鉴》,147-166(1993)·Zbl 0804.03020号
[8] Markhabatov,N.D。;Sudolatov,S.V.,理论家族的拓扑、秩和闭包。一、 代数与逻辑,6437-455(2021)·Zbl 1515.03156号
[9] 穆霍帕迪耶,M.M。;Vassiliev,E.,关于Vamos拟阵,齐次预几何和稠密对,澳大利亚组合数学杂志,1158-170(2019)·Zbl 1447.52018年
[10] Pillay,A.,《几何稳定性理论》,361(1996),牛津,克拉伦登出版社出版·Zbl 0871.03023号
[11] Sudolatov,S.V.,《群多边形测量》,302(2013),新西伯利亚,NSTU Publ·兹比尔0951.03030
[12] Sudolatov,S.V.,《立方理论模型》,《逻辑部分公报》,1-219-34(2014)·Zbl 1336.03046号
[13] Sudolatov,S.V.,与结构组合相关的闭包和发电机组,伊尔库茨克州立大学公报。《级数数学》,131-144(2016)·Zbl 1402.03039号
[14] Zilber,B.I.,《(ω_1)范畴理论模型的结构》,《国际数学家大会论文集》,35968。PWN华沙(1983)
[15] Zilber,B.I.,无可辩驳的理论。AMS数学专著翻译(1993)·Zbl 0785.03019号
[16] Zilber,B.I.,《强极小可数范畴理论》,Sibirsk Matematika Zhurnal,298-112(1980)
[17] Zilber,B.I.,《强极小可数范畴理论II》,Sibirsk Matematika Zhurnal,371-88(1984)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。