拉克伦，A.H。 完整的共性理论。二、。 （英语） Zbl 0739.03022号 事务处理。美国数学。Soc公司。 328，第2期，527-562（1991）. 作者从第一部分开始，继续研究关系语言的完整共推理论[同上319，209-241（1990；Zbl 0706.03034号)]. 这里的共性意味着所有句子都有公理化。主要结果是：任何完整的共性理论都是树分解的J.T.鲍德温和S.谢拉【圣母院J.形式逻辑26，229–303（1985；Zbl 0596.03033号)]. 树分解是一个非常强的稳定性条件：它等价于一元稳定性，即通过一元谓词对理论进行任何扩展的稳定性。主要结果的证明是相当间接的。首先，作者证明了公式是稳定的。（在第一部分中，证明了无量词公式的稳定性。）在所有饱和模型中，他发展了一种基于公式布尔组合的分叉理论。（这种分叉和普通分叉之间的关系尚未探索。）事实证明，相应的独立性概念是微不足道的，因为对于模型的所有子集\（A，C，D\）和每个元素\（b\），如果\（A\）和\（C\）在\（D\）上独立，那么\（A\）和\（b\）在\（CD\）或\（C\）和\（b\）上独立独立于\（AD\）。利用这个平凡性，证明了完备的共导理论是树可分解的。本文还证明，如果语言是有限的，那么任何完整的共导理论都有一个素数模型，尽管一般不存在集合上的素数模型。最后，作者列出了一些猜想，为进一步研究提供了方向。审核人：Oleg V.Belegradek（凯梅罗沃） 引用于三文件 MSC公司： 03C45号机组 分类理论、稳定性和模型理论中的相关概念 关键词：完全共性理论;由\（\存在\适用于所有\）语句实现的公理化;可分解树;饱和模型;分叉;基本模型 引文：Zbl 0706.03034号;Zbl 0596.03033号 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Lachlan}，翻译。美国数学。Soc.328，No.2，527--562（1991；Zbl 0739.03022） 全文： 内政部