×

Thorn-forking、弱正态性和带选择器的理论。 (英语) Zbl 07781905号

小结:我们讨论了弱正规公式在棘叉理论中的作用,作为对论文[5]的评论的一部分。我们还对该论文中的结论4.2给出了一个反例,并在此过程中讨论了“带选择器的理论”

MSC公司:

03C45号机组 分类理论、稳定性和模型理论中的相关概念
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Adler,H.,分叉和刺叉的几何介绍。《数学逻辑杂志》,第9卷(2006年),第1-20页·Zbl 1211.03051号
[2] Baudisch,A.,T模型的一般变体,《符号逻辑杂志》,第67卷(2002年),第1025-1038页·Zbl 1018.03026号
[3] Baudisch,A.和Pillay,A.,《自由伪空间》,《符号逻辑杂志》,第65卷(2000年),第443-460页·Zbl 0947.03050号
[4] Casanovas,E.,《简单理论与超想象》,《逻辑课堂讲稿》,39,剑桥大学出版社,剑桥,2011年·Zbl 1243.03045号
[5] Ealy,C.和Onshuus,A.,Thorn分叉和稳定分叉。哥伦比亚科学院修订版,《自然》第40卷(2016年),第157期,第683-689页·Zbl 1524.03029号
[6] Halevi,Y.和Kaplan,I.,工作模型理论家的饱和模型。《符号逻辑公报》,第29卷(2023年),第2期,第163-169页·Zbl 07725100号
[7] Onshuus,A.,荆棘分叉的性质和后果,符号逻辑杂志,第71卷(2006年),第1-21页·Zbl 1103.03036号
[8] Pillay,A.,《几何稳定性理论》,牛津大学出版社,牛津,1996年·Zbl 0871.03023号
[9] Srour,G.,代数结构类别中独立性的概念,第一部分:基本属性。《纯粹和应用逻辑年鉴》,第38卷(1988年),第2期,第185-213页·Zbl 0649.08005号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。