完备理论的二元孤立公式的分布代数
Algebras of distributions of binary isolating formulas of a complete theory
摘要：
我们定义了一类代数，它描述了一个完备理论的1型族的一组实现上的二元隔离公式的联系。我们证明了一组标签的二进制隔离公式上的一组实现的1型p形式的广群的一种特殊形式，如果有一个原子模型的实现p。我们描述了这些广群的类，并考虑这些广群的功能在一般情况下，并为特殊的理论。给出了相对于1-型族的偏广群类的一个刻划。
英文摘要：
We define a class of algebras describing links of binary isolating formulas on a set of realizations for a family of 1-types of a complete theory. We prove that a set of labels for binary isolating formulas on a set of realizations for a 1-type p forms a groupoid of a special form if there is an atomic model over a realization of p. We describe the class of these groupoids and consider features of these groupoids in a general case and for special theories. A description of the class of partial groupoids relative to families of 1-types is given.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
