金炳汉;阿南德·皮莱 简单的理论。 （英语） Zbl 0897.03036号 Ann.纯粹应用。逻辑 88，编号2-3，149-164（1997）. 作者从以下意义上研究简单理论S.谢拉[数学与逻辑年鉴19177-203（1980；Zbl 0489.03008号)].模型（M）上的独立性定理如下：对于（a\supset M）、（B\supset M\）、（a\）独立于（B\）over（M\）的独立性、（p\ in S（M）中的独立性和S（a）中的（p_1）、S（B）中的非工作扩展S.谢拉分类理论和非同构模型的数量。第二版（1990年；Zbl 0713.03013号)]，则S（A\cup B）中有一个扩展了（p_1）和（p_2）的\（q），它也是\（p\）的非工作扩展。作者证明了简单理论模型的独立性定理。此外，它们还证明了以下几点：定理。设（T）为任意理论。则\（T\）是简单的，当\（T\）具有独立性\（\Gamma\）的概念时，它满足模型上的独立性定理。此外，对于这样的（Gamma）保持：对于所有（a）、（B）、（a）、（a、B、a）、iff（tp（a/B））都不切换（a）。还证明了Lascar强类型的独立性定理。考虑了秩的各种概念及其相互关系。审核人：S.R.Kogalovskij（伊万诺沃） 引用于6评论引用于94文件 MSC公司： 03C45号机组 分类理论、稳定性和模型理论中的相关概念 03元50分 具有特殊属性（饱和、刚性等）的模型 关键词：简单的理论;独立性定理;非工作扩展;Lascar强类型;等级 引文：Zbl 0489.03008号;Zbl 0713.03013号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kim}和\textit{A.Pillay}，Ann.纯苹果。逻辑88，No.2--3，149--164（1997；Zbl 0897.03036） 全文： 内政部 参考文献： [1] 鲍德温，J.T.，《稳定性理论基础》（1988），施普林格：施普林格柏林·Zbl 0685.03024号 [2] 查齐达基斯，Z。；Hrushovski，E.，带自同构的代数闭域（1995），预印本 [3] 查齐达基斯，Z。；麦金太尔，A。；van den Dries，L.，有限域中的可定义集，Crelle的J.，427，107-135（1992）·Zbl 0759.11045号 [4] 查齐达基斯，Z。；Pillay，A.，《一般结构和简单理论》，J.Compute。申请。数学。，88, 95-108 (1997) [5] G.Cherlin，E.Hrushovski，Lie协调结构，准备中。；G.Cherlin，E.Hrushovski，Lie协调结构，编制中·Zbl 1024.03001号 [6] 哈尼克，V。；Harrington，L.，《分叉基础》，Ann.Pure Appl。逻辑，26245-286（1984）·Zbl 0591.03016号 [7] Hrushovski，E.，伪有限域和相关结构（1991），手稿 [8] 赫鲁肖夫斯基，E。；Pillay，A.，局部域和伪有限域中可定义的群，以色列数学杂志。，85203-262（1994年）·Zbl 0804.03024号 [9] 赫鲁肖夫斯基，E。；Pillay，A.，有限域上代数群的可定义子群，Crelle’s J.，462，69-91（1995）·Zbl 0823.12005 [10] Kantor，W。；Liebeck，M。；Macpherson，D.，ω-范畴结构被有限结构平滑逼近，（《伦敦数学学会学报》，59（1989）），439-463，（3）·Zbl 0649.03018号 [11] B.Kim，《简单不稳定理论中的福克》，J.London Math。Soc.，出现。；B.Kim，《简单不稳定理论中的福克》，J.伦敦数学。Soc.，出现·Zbl 0922.03048号 [12] 拉斯卡，D.，《关于完整理论的模型范畴》，J.符号逻辑，47，249-266（1982）·兹伯利0498.03019 [13] Shelah，S.，《分类理论》，修订版（1990年），北荷兰：北荷兰阿姆斯特丹·Zbl 0713.03013号 [14] 谢拉，S.，《简单不稳定理论》，《数学年鉴》。逻辑，19，177-203（1980）·Zbl 0489.03008号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。