×
约翰·鲍德温;Gianluca Paolini

极小的Steiner系统。一： 存在。 （英语） Zbl 07457787号

J.塞姆。日志。 86，第4期，1486-1507（2021）.
摘要：线性空间是由点和线组成的系统，任何两个不同的点决定独特的线路；Steiner（k）-系统（对于（k）geq 2））是一个线性空间，使得每条线的大小正好是（k）。显然，作为一个二分类结构，线性空间不可能是强极小的。我们用一个单三元关系（R）在（双可解释）词汇表（tau）中构造线性空间。我们证明了对于每个整数（k）都存在（2^{aleph0}）-多个整值函数（mu），使得每个（mu{希腊}_\mu），其代数闭包几何具有从头算Hrushovski建筑。因此，每一个都是Zilber三分法猜想的反例。

引用于1审查
引用于2文件

理学硕士：

03C45号机组 分类理论、稳定性和模型理论中的相关概念
51E10型 有限几何中的Steiner系统

关键词：

强极小;斯坦纳系统;Hrushovski建筑
PDF格式BibTeX公司 XML格式引用
\textit{J.Baldwin}和\textit{G.Paolini}，J.Symb。日志。86，第4号，1486--1507（2021；Zbl 07457787）
全文： 内政部 arXiv公司

参考文献：

[1] Baldwin，J.T.，《稳定性理论基础》，Springer-Verlag，纽约，1988年·Zbl 0685.03024号
[2] Baldwin，J.T.，《强极小Steiner系统II：协调与强极小拟群》，2019年。
[3] Baldwin，J.T.和Shi，N.，《稳定的属结构》。《纯粹和应用逻辑年鉴》，第79卷（1996年），第1-35页·Zbl 0857.03020号
[4] Barbina，S.和Casanovas，E.，斯坦纳三重系统模型理论，预印本，2018年，arXiv预印本arXiv:1805.06767·兹比尔1485.03082
[5] Cameron，P.，《无限线性空间》。《离散数学》，第129卷（1994年），第29-41页·兹比尔0803.51001
[6] Cameron，P.J.和Webb，B.S.，完美可数无限Steiner三元系统。《澳大利亚组合数学杂志》，第54卷（2012年），第273-278页·Zbl 1278.05028号
[7] Conant，G.和Kruckman，A.，通用发病率结构的独立性，预印本，2016年·Zbl 1468.03038号
[8] Evans，D.，《具有多个点轨道的块传递Steiner系统》，《组合设计杂志》，第12卷（2004年），第459-464页·Zbl 1056.05015号
[9] Evans，D.M.和Ferreira，M.S.，《赫鲁晓夫斯基结构的几何学》，I：未坍塌案例。《纯粹与应用逻辑年鉴》，第162卷（2011年），第6期，第474-488页·Zbl 1227.03045号
[10] Evans，D.M.和Ferreira，M.S.，《赫鲁晓夫斯基建筑的几何》，第二卷。极少数情况，本杂志，第77卷（2012年），第1期，第337-349页·Zbl 1245.03051号
[11] Ganter，B.和Werner，H.，Steiner系统的等式类。《普遍代数》，第5卷（1975年），第125-140页·Zbl 0312.08002号
[12] Ganter，B.和Werner，H.，《协同协调Steiner系统》，《Steiner systems主题》（Lindner，C.C.和Rosa，A.编辑），北荷兰，阿姆斯特丹，1980年，第3-24页·Zbl 0437.51007号
[13] Goode，J.B.，Hrushovski的几何，《第七届复活节模型理论会议论文集》（Dahn，B.和Wolter，H.，编辑），柏林洪堡大学数学系，柏林，1989年，第106-118页·Zbl 0689.03016号
[14] Hasson，A.和Mermelstein，M.，《关于Hrushovski结构的几何》。《数学基础》，2018年，即将出版·Zbl 1477.03127号
[15] Holland，K.，新的强极小集的模型完备性，《期刊》，第64卷（1999年），第946-962页·Zbl 0945.03045号
[16] Hrushovski，E.，一个新的强极小集。《纯粹和应用逻辑年鉴》，第62卷（1993年），第147-166页·Zbl 0804.03020号
[17] Hyttinen，T.和Paolini，G.，自由投影平面的一阶模型理论：第一部分，已提交·Zbl 1498.03074号
[18] Lindström，P.，《关于模型完整性》。《理论》，第30卷（1964年），第183-196页。
[19] Makowsky，J.A.，一个人能设计几何引擎吗？仿射欧几里德几何的（不）可判定性。《数学与人工智能年鉴》，第85卷（2019年），第259-291页·兹伯利1439.03033
[20] Mason，J.H.，关于图中由路产生的一类拟阵。《伦敦数学学会学报》，第25卷（1972年），第55-74页·兹比尔0244.05014
[21] Mermelstein，M.，《围绕赫鲁绍夫斯基构造的无限和有限组合数学》，博士论文，内盖夫本古里安大学，2018年。
[22] Paolini，G.，新（ω）稳定飞机，提交·Zbl 1485.03097号
[23] Pillay，A.，代数闭域的模型理论，模型理论和代数几何：E.Hrushovski的几何Mordell-Lang猜想证明简介（Bouscaren，E.，编辑），Springer-Verlag，纽约，1999年，第61-834页。
[24] Stein，S.K.，拟群的基础。《美利坚合众国国家科学院院刊》，第42卷（1956年），第545-546页·Zbl 0071.01804号
[25] Stein，S.K.，《关于拟群的基础》。《美国数学学会学报》，第85卷（1957年），第228-256页·Zbl 0079.02402号
[26] Ziegler，M.，Hrushovski新的强极小集的一个说明。《纯粹与应用逻辑年鉴》，第164卷（2013年），第12期，第1507-1519页·Zbl 1320.03068号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。