杜加尔德·麦克弗森;卡洛·托法洛里 代数、分析和算术中的模型理论：前言。 （英语） Zbl 1326.03045号 Macpherson，H.Dugald（编辑）等人，《代数、分析和算术中的模型理论》。意大利Cetraro，2012年。2012年，意大利Cetraro，CIME课程讲座。海德堡：施普林格；佛罗伦萨：Fondazione CIME（ISBN 978-3-642-54935-9/pbk；978-3-442-54936-6/电子书）。数学讲义2111。CIME基金会子系列，1-11（2014）。 概要：模型理论是数学逻辑的一个分支，从一阶逻辑可定义性的角度处理数学结构（模型）。尽管相对年轻。模型理论的一个典型目标是建立、研究和分类满足某些给定公理（通常以一阶方式表示）的数学宇宙。因此，模型理论起源于非欧几里德几何的诞生，以及在遵循其革命性（非标准）假设的适当数学环境中实现它们的努力。二十世纪上半叶数学逻辑的一些主要成就，如1930年左右的哥德尔紧性定理，奠定了现代模型理论的基础。关于整个系列，请参见[Zbl 1300.03006号]. MSC公司： 03C60型 模型理论代数 03C62号 算术和集合论模型 03C64号 有序结构的模型理论；o极小性 03C98号 模型理论的应用 PDF格式BibTeX公司 XML格式引用 \textit{D.Macpherson}和\textit{C.Toffalori}，莱克特。数学笔记。2111，1--11（2014；Zbl 1326.03045） 全文： 内政部 参考文献： [1] I.M.Aschenbrenner、A.Dolich、D.Haskell、D.Macpherson、S.Starchenko、Vapnik-Chervonenkis在某些理论中的密度不具有独立性I.arXiv:1109.54382011·Zbl 1423.03119号 [2] J.Baldwin，分类。大学讲座系列，第50卷（美国数学学会，普罗维登斯，2009）·Zbl 1183.03002号 [3] 鲍德温，J.T。；Lachlan，A.H.，《关于强极小集》，J.Symb。日志。，36, 79-96 (1971) ·Zbl 0217.30402号 ·doi:10.2307/2271517 [4] Berarducci，A。；奥特罗，M。；彼得齐尔，Y。；Pillay，A.，可定义为o-极小结构的群的降链条件，Ann.Pure Appl。日志。，134, 303-313 (2005) ·Zbl 1068.03033号 ·doi:10.1016/j.apal.2005.01.002 [5] E.Bouscaren（编辑），模型理论和代数几何。数学课堂讲稿，第1696卷（Springer，纽约，1998）·Zbl 0920.03046号 [6] Chang，C.C。；Keisler，H.J.，模型理论（1990），阿姆斯特丹：荷兰北部·兹伯利0697.03022 [7] Z.Chatzidakis，D.Macpherson，A.Pillay，A.Wilkie，模型理论及其在代数和分析中的应用I.伦敦数学学会讲义系列，第349卷（剑桥大学出版社，剑桥，2008）·Zbl 1144.03004号 [8] Z.Chatzidakis，D.Macpherson，A.Pillay，A.Wilkie，模型理论及其在代数和分析中的应用II。伦敦数学学会讲座笔记系列，第350卷（剑桥大学出版社，剑桥，2008）·Zbl 1144.03004号 [9] Chernikov，A.，《没有第二类树属性的理论》，Ann.Pure Appl。日志。，165, 695-723 (2014) ·Zbl 1386.03035号 ·doi:10.1016/j.apal.2013.10.02 [10] Cluckers，R。；Lipshitz，L.，《分析结构领域》，《欧洲数学杂志》。Soc.，13，4，1147-1223（2011年）·Zbl 1291.03074号 ·doi:10.4171/JEMS/278 [11] Denef，J.，《与多样性上的p-adic点相关联的庞加莱级数的合理性》，《发明》。数学。，77, 1-23 (1984) ·Zbl 0537.12011号 ·doi:10.1007/BF01389133 [12] J.Denef，L.van den Dries，p-adic和实亚分析集。安。数学。(2) 128, 79-138 (1988) ·Zbl 0693.14012号 [13] J.Denef，L.Lipshitz，T.Pheidas，J.Van Geel，《希尔伯特的第十个问题：与算术和代数几何的关系》。当代数学，第270卷（美国数学学会，普罗维登斯，2000年）·Zbl 0955.00034号 [14] Grunewald，F.J.（美国联邦理工学院）。；西格尔，D。；Smith，G.C.，幂零群中有限指数的子群，发明。数学。，93, 185-223 (1988) ·Zbl 0651.20040号 ·doi:10.1007/BF01393692 [15] D.Haskell、A.Pillay、C.Steinhorn（编辑），《模型理论、代数和几何》。MSRI出版物（剑桥大学出版社，剑桥，2000）·Zbl 0945.00018号 [16] D.Haskell，E.Hrushovski，D.Macpherson，代数闭值域中的稳定支配和独立性。ASL逻辑课堂讲稿（剑桥大学出版社，剑桥，2007）·Zbl 1149.03027号 [17] 霍奇斯，W.，模型理论（1993），剑桥：剑桥大学出版社，剑桥·兹比尔0789.03031 ·doi:10.1017/CBO9780511551574 [18] Hrushovski，E.，一个新的强极小集，Ann.Pure Appl。日志。，62147-166（1993年）·Zbl 0804.03020号 ·doi:10.1016/0168-0072（93）90171-9 [19] Hrushovski，E.，《函数场的Mordell-Lang猜想》，《美国数学杂志》。Soc.，9667-690（1996年）·Zbl 0864.03026号 ·doi:10.1090/S0894-0347-96-00202-0 [20] 赫鲁肖夫斯基，E。；Kazhdan，D.，《有价值领域的整合》，《数学进展850：代数几何和数论》，纪念弗拉基米尔·德林费尔德50岁生日（2006），巴塞尔：Birkhäuser，巴塞尔·Zbl 1136.03025号 [21] E.Hrushovski，F.Loeser，非阿基米德驯服拓扑和稳定支配类型。普林斯顿专题丛书（即将出版）·Zbl 1365.14033号 [22] E.Hrushovski，B.Martin，S.Rideau，以及R.Cluckers的附录，可定义等价关系和群的zeta函数，数学。LO/0701011v022014·Zbl 1469.03105号 [23] 赫鲁肖夫斯基，E。；Pillay，A.，《关于NIP和不变测度》，《欧洲数学杂志》。Soc.，131005-1061（2011）·Zbl 1220.03016号 ·doi:10.4171/JEMS/274 [24] 赫鲁肖夫斯基，E。；Zilber，B.，Zarisk几何。美国数学杂志。Soc.，9，1-56（1996年）·Zbl 0843.03020号 ·网址：10.1090/S0894-0347-96-00180-4 [25] E.Hrushovski、Y.Peterzil、A.Pillay，《团体、措施和NIP》。美国数学杂志。Soc.21563-596（2008）·Zbl 1134.03024号 [26] 赫鲁肖夫斯基，E。；A.皮莱。；Simon，P.，NIP理论中的一般稳定和光滑测度，Trans。美国数学。Soc.，365，2341-2366（2013）·Zbl 1294.03023号 ·doi:10.1090/S0002-9947-2012-05626-1 [27] Koenigsmann，J.，在（mathbb{Q}）中定义（mathbb{Z}），《域的算术》，Oberwolfach Reports（2009） [28] M.C.Laskowski，Vapnik Chervonenkis类的可定义集合。J.伦敦数学。Soc.（2）45，377-384（1992）·兹比尔0766.60016 [29] F.Loeser，西雅图关于动机整合的讲座。http://www.math.ens.fr/loeser/notes_seattle_09_04_2008.pdf，2008·Zbl 1181.14017号 [30] Macintyre，A.，《关于p-adic域的可定义子集》，J.Symb。日志。，41, 605-610 (1976) ·Zbl 0362.02046号 ·doi:10.2307/2272038 [31] 麦金太尔，A。；Barwise，J.，《模型完整性》，《数学逻辑手册》，139-180（1977），阿姆斯特丹：荷兰北部·doi:10.1016/S0049-237X（08）71100-5 [32] Macintyre，A.，《模型理论与代数和解析几何之间的联系》（2000），Aracne:Quaderni di Matematica，Aracne·Zbl 0971.00010号 [33] 麦金太尔，A。；Wilkie，A.，《关于实际指数场的可判定性》，载于《克里塞利亚纳》，441-467（1996），韦尔斯利：A.K.Peters，Wellesley·Zbl 0896.03012号 [34] D.Marker，模型理论：导论。数学研究生课本，第217卷（Springer，纽约，2002）·Zbl 1003.03034号 [35] Matiyasevich，Y.，Hilbert的第十个问题（1993），剑桥：计算基础系列（麻省理工学院出版社，剑桥）·Zbl 0790.03009号 [36] Mazur，B.，有理点的拓扑，Exp.Math。，1，35-45（1992年）·Zbl 0784.14012号 [37] Mazur，B。；鲁宾，K.，《椭圆曲线的扭曲秩和希尔伯特第十问题》，发明。数学。，181, 541-575 (2010) ·Zbl 1227.11075号 ·doi:10.1007/s00222-010-0252-0 [38] Morley，M.，《权力中的分类》，Trans。美国数学。《社会学杂志》，114，514-538（1965）·Zbl 0151.01101号 ·doi:10.1090/S0002-9947-1965-0175782-0 [39] T.Pheidas，K.Zahidi，《代数中的决策问题和希尔伯特第十个问题的类似问题》，摘自《模型理论及其在代数和分析中的应用II》。伦敦数学学会讲座笔记系列，第350卷（剑桥大学出版社，剑桥，2008）·Zbl 1167.03008号 [40] J.Pila，O-极小性和\（\mathbb｛C｝^n\）的André-Oort猜想。安。数学。(2) 173, 1779-1840 (2011) ·Zbl 1243.14022号 [41] 皮拉，J。；Wilkie，A.，《可定义集合的有理点》，《杜克数学》。J.，133，591-616（2006）·Zbl 1217.11066号 ·doi:10.1215/S0012-7094-06-13336-7 [42] Pillay，A.，《几何稳定性理论》（1996），牛津：牛津大学出版社，牛津·Zbl 0871.03023号 [43] Poizat，B.，《模型理论课程：当代数理逻辑导论》（2000），纽约：Springer，纽约·Zbl 0951.0302号 ·doi:10.1007/978-1-4419-8622-1 [44] Poonen，B.，《数论中的不确定性》，Not。美国数学。《社会学杂志》，55，344-350（2008）·Zbl 1194.03018号 [45] B.Poonen，希尔伯特关于数论感兴趣的环的第十个问题（2010年）。http://math.mit.edu/poonen/papers/aws2003.pdf [46] 罗宾逊，A.，《完整理论，逻辑研究》（1956），阿姆斯特丹：荷兰北部·Zbl 0070.02701号 [47] 施密德，W。；Vilonen，K.，《可建造滑轮的特征循环》，发明。数学。，124, 451-502 (1996) ·Zbl 0851.32011号 ·doi:10.1007/s002220050060 [48] Shelah，S.，《分类理论》（1990），阿姆斯特丹：荷兰北部·Zbl 0713.03013号 [49] Shelah，S.，从属一阶理论，继续，Isr。数学杂志。，173, 1-60 (2009) ·Zbl 1195.03040号 ·doi:10.1007/s11856-009-0082-1 [50] A.Shlapentkh，希尔伯特的第十个问题。丢番图类和全局域的其他扩展。新数学专著，第7卷（剑桥大学出版社，剑桥，2007）·Zbl 1196.11166号 [51] Tarski，A.，对模型I理论的贡献，Indag。数学。，16, 572-581 (1954) ·兹比尔0058.24702 [52] Tarski，A.，对模型II理论的贡献，Indag。数学。，16, 582-588 (1954) ·兹比尔0058.24702 [53] K.Tent，M.Ziegler，模型理论课程。逻辑课堂讲稿，第40卷（剑桥大学出版社，剑桥，2012）·Zbl 1245.03002号 [54] van den Dries，L.，Alfred Tarki的实闭场消元理论，J.Symb。日志。，53, 7-19 (1988) ·Zbl 0651.03001号 ·doi:10.2307/2274424 [55] L.van den Dries，Tame拓扑和o-minimal结构。伦敦数学学会讲座笔记系列，第248卷（剑桥大学出版社，剑桥，1998年）·Zbl 0953.03045号 [56] Wagner，F.，《简单理论》（2000年），多德雷赫特：克鲁沃，多德莱赫特·Zbl 0948.03032号 ·doi:10.1007/978-94-017-3002-0 [57] Wilkie，A.，通过限制Pfaffian函数和指数函数展开实数有序域的模型完整性结果，J.Am.Math。Soc.，9，1051-1094（1996）·Zbl 0892.03013号 ·doi:10.1090/S0894-0347-96-00216-0 [58] Zilber，B.，《不可数范畴理论模型的结构》，收录于ICM-Varsavia 1983，359-368（1984），阿姆斯特丹：北荷兰，阿姆斯特朗·Zbl 0595.03028号 [59] Zilber，B.，特征为0的代数闭域上的伪指数，Ann.Pure Appl。日志。，132, 67-95 (2004) ·兹比尔1076.03024 ·doi:10.1016/j.apal.2004.07.001 [60] B.Zilber，Zarisk Geometries。伦敦数学学会讲座笔记系列，第360卷（剑桥大学出版社，剑桥，2010）·Zbl 1190.03034号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。