多梅尼科赞比拉 有限VC-维的初等类。 （英语） Zbl 1357.03074号 架构（architecture）。数学。逻辑 54，编号5-6，511-520（2015）. 本文的主要结果如下：设（{mathcal U}）是不可访问基数的饱和模型。对于\（D\subsetq{mathcal-U}\），设\（e（D）\）是\（C\subseteq{mathcal-U}\）的集合，这样\（langle{mathcal U}，C\rangle\equiv\langle{mathcal-U{，D\rangle\）。那么，当\（e（D）\）是有限的VC-维时，\（D）是外部可定义的。一般来说，这两个条件并不等价；但如果理论是NIP（非依赖性属性），它们就是这样\根据定义，如果（D={a\ in{mathcal U}\mid\phi（x，a）\ in p\}\）具有某种类型的\（p\）over \（{mathcall U}\）和公式\（\phi（x，z）\），则（D\）是可外部定义的\（e（D）是有限VC-维的意思，根据定义，有一些（n<ω。（“VC”代表“Vapnik-Chervonenkis”。）作者得到了“松散连接”的结果，涉及到Lascar不变性、除法和带有一个关系变量的二阶语言。证明了Lascar不变性的若干特征。审核人：M.Yasuhara（普林斯顿） 引用于1审查引用于1文件 MSC公司： 03立方厘米95 抽象模型理论 关键词：VC-尺寸;外部可定义集;拉斯卡不变性 PDF格式BibTeX公司 XML格式引用 \textit{D.赞比拉}，拱门。数学。逻辑54，No.5--6，511--520（2015；Zbl 1357.03074） 全文： 内政部 arXiv公司 参考文献： [1] Baisalov Y.，Poizat B.：最小结构对。J.塞姆。日志。63(2), 570-578 (1998) ·Zbl 0910.03025号 ·doi:10.2307/2586850 [2] 卡萨诺瓦斯E。：简单理论和超想象。逻辑课堂讲稿，第39卷。剑桥大学出版社，剑桥（2011）·Zbl 1243.03045号 ·doi:10.1017/CBO9781139003728 [3] Chernikov，A.，Simon，P.：外部可定义集合和依赖对。以色列。数学杂志。194(1), 409-425 (2013). arXiv:1007.4468号·Zbl 1335.03031号 [4] Chernikov，A.，Pillay，A.，Simon，P.：NIP理论中的外部可定义性和群体。（2014年）。arXiv公司：1307.4794·Zbl 1353.03020号 [5] 皮莱，A。；Festchrift，F.（编辑），《关于外部可定义集和Shelah定理》（2007），伦敦·Zbl 1135.03337号 [6] Poizat B.：现代化课程。Bruno Poizat，里昂（1985）·Zbl 0583.03001号 [7] 谢拉（Shelah，S.）：相关的一阶理论，继续。以色列。数学杂志。173(1), 1-60 (2009). arXiv:数学/0504197·Zbl 1195.03040号 [8] 皮埃尔·西蒙：NIP理论指南。（2014年）。arXiv:1202.2650·Zbl 1332.03001号 [9] Tent K.，Ziegler M.：模型理论课程。逻辑第40卷课堂讲稿。剑桥大学出版社，剑桥（2012）·Zbl 1245.03002号 [10] 齐格勒，M.：谢拉定理的切尔尼科夫和西蒙证明。作者主页上有未发表的笔记（2010年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。