×

\(\mathrm中任意集的独立性{NSOP}_1\)理论。 (英语) Zbl 07458792号

摘要:我们研究了任意集上的Kim独立性。假设分叉满足存在性,我们建立Kim在一个\(\mathrm中任意集上的Kim引理{NSOP}_1\)理论。我们推导了Kim-独立的对称性和Lascar强类型的独立性定理。

MSC公司:

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

参考文献:

[1] Chatzidakis,Zoé,无ω伪代数闭域中分叉的性质,J.Symb。日志。,67, 03, 957-996 (2002) ·Zbl 1032.03033号
[2] Chernikov,Artem,分叉、除法、不变性的一些反例,未发表的注释,请访问·Zbl 1251.03037号
[3] 切尔尼科夫,阿特姆,《没有第二类树属性的理论》,《纯粹应用》。日志。,165, 2, 695-723 (2014) ·兹伯利1386.03035
[4] 阿尔特姆·切尔尼科夫(Artem Chernikov);Nicholas Ramsey,《关于模型理论树属性》,J.Math。日志。,第1650009条pp.(2016)·Zbl 1402.03043号
[5] 加布里埃尔·科南特;Alex Kruckman,《通用关联结构的独立性》,J.Symb。日志。,84, 2, 750-780 (2019) ·Zbl 1468.03038号
[6] 《艾尔贝》、《克里斯蒂安》、《福克》、《想象》和《美国电影联合会》、《J.Symb》的其他特写。日志。,1-34 (2021) ·Zbl 07415220号
[7] d’Elbée,Christian,通过简化的泛型展开,J.Math。日志。(2021),(在线发布)·Zbl 07419666号
[8] Dobrowolski,Jan,可在双线性形式的向量空间中定义的集、组和字段(2020),arXiv预打印
[9] 米尔纳,季阿蒙加;Shelah,Saharon,On\(\vartriangleft^\ast\)-最大值,Ann.Pure Appl。日志。,125, 1, 119-158 (2004) ·Zbl 1040.03029号
[10] 意大利卡普兰;尼古拉斯·拉姆齐(Nicholas Ramsey),《论Kim的独立性》(On Kim independence),《欧洲数学杂志》(J.Eur.Math)。社会,22,5,1423-1474(2020)·Zbl 1467.03010号
[11] Kim,Byunghan,那里的简单和稳定,J.Symb。日志。,66, 02, 822-836 (2001) ·Zbl 1002.03026号
[12] Kim,Byunghan,《简单理论》(2013),牛津大学出版社·Zbl 1294.03003号
[13] Kim,Byunghan;Kim,Hyeung-Joon;Scow、Lynn、Tree Discernibilities、reviewed、Arch。数学。日志。,53,1-2211-232(2014)·Zbl 1297.03023号
[14] Kim,Byunghan;阿南德·皮莱,《简单理论》,《纯粹应用》。日志。,88, 2-3, 149-164 (1997) ·Zbl 0897.03036号
[15] 亚历克斯·克鲁克曼;Ramsey,Nicholas,《泛型扩展和skolemization in \(\text{NSOP}_1\)理论,Ann.Pure Appl。日志。,169, 8, 755-774 (2018) ·Zbl 1469.03096号
[16] 丹尼尔·拉斯卡尔(Daniel Lascar);布鲁诺·波扎特(Bruno Poizat),《分叉入门》(An introduction to forking),J.塞班(J.Symb)。日志。,44, 3, 330-350 (1979) ·Zbl 0424.03013号
[17] Shami,Ziv,《低简单理论的定义》,J.Symb。日志。,65, 4, 1481-1490 (2000) ·Zbl 0973.03047号
[18] Shelah,Saharon,《简单不稳定理论》,《数学年鉴》。日志。,19, 3, 177-203 (1980) ·兹比尔0489.03008
[19] Simon,Pierre,《NIP理论指南》(2015),剑桥大学出版社·Zbl 1332.03001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。