×
亚蒂尔·哈列维;阿萨夫·哈森;弗兰齐斯卡·扬克

强相关域的一种推测分类。 （英语） Zbl 1477.03134号

牛市。符号。日志。 25，第2期，182-195（2019）.
摘要：我们回顾了Shelah关于强相依场猜想的历史，给出了强相依域分类的等价公式，并证明了该猜想意味着每个强相依字段都有有限dp-rank。

引用于10文件

MSC公司：

03C45号机组 分类理论、稳定性和模型理论中的相关概念
12月10日 有值字段
03C60型 模型理论代数
12升12 场的模型理论

关键词：

谢拉猜想;强烈的依赖性;值字段;夹
PDF格式BibTeX公司 XML格式引用
\textit{Y.Halevi}等人，公牛。符号。日志。25，第2号，182--195（2019；Zbl 1477.03134）
全文： DOI程序 arXiv公司

参考文献：

[1] Ax，J.和Kochen，S.，局部场上的丢番图问题。I.《美国数学杂志》，第87卷（1965年），第605-630页·Zbl 0136.32805号
[2] Cherlin，G.，小Morley秩群。《数理逻辑年鉴》，第17卷（1979年），第1-2期，第1-28页·Zbl 0427.20001
[3] Cherlin，G.和Shelah，S.，《超级稳定场和群》。《数理逻辑年鉴》，第18卷（1980年），第3期，第227-270页·Zbl 0475.03012号
[4] Chernikov，A.，《没有第二类树属性的理论》。《纯粹与应用逻辑年鉴》，第165卷（2014年），第2期，第695-723页·Zbl 1386.03035号
[5] Delon，F.，表面类型C类（十） 《稳定理论研究小组》（布鲁诺·波扎特），第二年：1978/79（法语），巴黎数学研究所，1981年，第29页。
[6] K.杜邦。，可定义子群诱导的可定义估值《群体、模块和模型理论——调查和最新发展：纪念吕迪格·哥贝尔》（Droste，M.，Fuchs，L.，Goldsmith，B.和Strüngmann，L.编辑），施普林格，查姆，2017年，第83-108页·Zbl 1436.03197号
[7] Dupont，K.、Hasson，A.和Kuhlmann，S.，《乘法子群和NIP字段诱导的可定义估值》，《数学逻辑档案》，即将出版·Zbl 1468.03045号
[8] Duret，J.-L.，《代数与算术模型理论》（《会议论文集》，Karpacz，1979年）)（Pacholski，L.、Wierzejewski，J.和Wilkie，A.J.编辑），《数学课堂讲稿》，第834卷，施普林格，纽约柏林，1980年，第136-162页·Zbl 0489.03009号
[9] Engler，A.J.和Prestel，A.，《数值领域》，Springer数学专著，Springer-Verlag，柏林，2005年·Zbl 1128.12009年
[10] Farré，R.，Strong ordered abelian groups and dp-rank，预印本，2017年，arXiv:1706.05471。
[11] Gurevich，Y.和Schmitt，P.H.，有序阿贝尔群理论不具有独立性。《美国数学学会学报》，第284卷（1984年），第1期，第171-182页·Zbl 0507.03012号
[12] Halevi，Y.和Hasson，A.，强依赖有序阿贝尔群和henselian域。以色列数学杂志，2017年，即将出版。预打印可从arXiv:1706.03376获得·Zbl 1487.03052号
[13] Halevi，Y.和Hasson，A.，消除强依赖字段中的字段量词。《美国数学学会学报》，2019年，即将出版。可在https://doi.org/10.1090/proc/14203。 ·Zbl 1487.03052号
[14] Halevi，Y.、Hasson，A.和Jahnke，F.，《可定义的V拓扑、henselianity和NIP》，预印本，2019年，arXiv:1901.05920·Zbl 1472.03035号
[15] Halevi，Y.和Palacín，D.，阿贝尔集团的dp-rank，预印本，2017年，arXiv:1712.04503·Zbl 1468.03046号
[16] Haskell，D.和Macpherson，D.，C最小结构的细胞分解。《纯粹和应用逻辑年鉴》，第66卷（1994年），第2期，第113-162页·兹伯利0790.003039
[17] Jahnke，F.，NIP何时从油田转移到亨塞利扩张？预印本，2016年，arXiv:1607.02953。
[18] Jahnke，F.和Koenigsmann，J.，可定义的亨塞利估值。《符号逻辑杂志》，第80卷（2015年），第1期，第85-99页·Zbl 1372.03078号
[19] Jahnke，F.和Koenigsmann，J.，统一定义p-henselian估值。《纯粹与应用逻辑年鉴》，第166卷（2015年），第7-8期，第741-754页·Zbl 1372.03077号
[20] Jahnke，F，Simon，P.和Walsberg，E.，Dp-最小值字段。《符号逻辑杂志》，第82卷（2017年），第1期，第151-165页·Zbl 1385.03040号
[21] Johnson，W.，Fun with fields，博士论文，加州大学伯克利分校，2016年。
[22] Johnson，W.，dp-极小域上的正则拓扑。《数理逻辑杂志》，第18卷（2018年），第2期，第1850007页，第23页·兹比尔1522.03115
[23] Kaplan，I.、Scanlon，T.和Wagner，F.O.，NIP和简单字段中的Artin-Schreier扩展。以色列数学杂志，第185卷（2011年），第141-153页·Zbl 1261.03120号
[24] Koenigsmann，J.，p-henselian油田。《数学手稿》，第87卷（1995年），第1期，第89-99页·Zbl 0828.12006号
[25] Kuhlmann，F.-V.，值群，剩余域，有理函数域的坏地方。《美国数学学会学报》，第356卷（2004年），第11期，第4559-4600页·Zbl 1122.12005年
[26] Kuhlmann，F.-V.，Pank，M.和Roquette，P.，有值字段的直接和纯野生扩展。《数学手稿》，第55卷（1986年），第1期，第39-67页·Zbl 0593.12018号
[27] Lang，S.，《代数》，《数学研究生教材》，第211卷，第三版，Springer-Verlag，纽约，2002年·Zbl 0984.0001号
[28] 麦金太尔，A.，《论ω_1-场的范畴理论》。《数学基础》，第71卷（1971年），第1期，第1-25页·Zbl 0228.02033号
[29] Macpherson，D.、Marker，D.和Steinhorn，C.，《弱o-极小结构和实闭域》。《美国数学学会学报》，第352卷（2000年），第12期，第5435-5483页·Zbl 0982.03021号
[30] Onshuus，A.和Usvyatsov，A.，《关于dp数量、强依赖性和权重》。《符号逻辑杂志》，第76卷（2011年），第3期，第737-758页·Zbl 1245.03053号
[31] Pillay，A.和Steinhorn，C.，有序结构中的可定义集合。《美国数学学会学报》，第295卷（1986年），第2期，第565-592页·Zbl 0662.03023号
[32] Prestel，A.和Roquette，P.，《形式上的P-adic Fields》，《数学课堂笔记》，第1050卷，施普林格-弗拉格出版社，柏林，1984年·Zbl 0523.12016号
[33] Reineke，J.，Minimale Gruppen。Zeitschrift für mathematische Logik，第21卷（1975年），第357-359页·兹比尔0312.02045
[34] Shelah，S.，依赖一阶理论，继续。以色列数学杂志，第173卷（2009年），第1-60页·Zbl 1195.03040号
[35] Shelah，S.，强烈依赖理论。以色列数学杂志，第204卷（2014年），第1期，第1-83页·Zbl 1371.03043号
[36] Simon，P.，《NIP理论指南》，《逻辑讲义》，剑桥大学出版社，剑桥，2015年·Zbl 1332.03001号
[37] Sinclair，P.，《模型理论与油田估值之间的关系》，博士论文，安大略省麦克马斯特大学，2018年。可在http://hdl.handle.net/11375/23326。
[38] Tent，K.和Ziegler，M.，《模型理论课程，逻辑讲义》，剑桥大学出版社，剑桥，2012年·Zbl 1245.03002号
[39] Van Den Dries，L.，《关于值域模型理论的讲座》，《代数、分析和算术中的模型理论》（Macpherson，H.D.和Toffalori，C.编辑），《数学课堂讲稿》，第2111卷，斯普林格，海德堡，2014年，第55-157页·Zbl 1347.03074号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。