完备理论的二元半隔离公式的分布代数
逻辑
2012-10-16 v1
摘要
我们定义了一类代数，描述完备理论的一族1-型在实现集上的二元半隔离公式之间的联系。这些代数包括之前考虑的隔离公式代数。我们证明，一个1-型在实现集上的二元半隔离公式的标签集构成一个特殊形式的幺半群，具有诱导标签秩的偏序、集合论运算和复合。我们描述了这些结构的类。给出了相对于1-型族的结构的类的描述。
引用
@article{arxiv.1210.4049,
title = {Algebras of distributions for binary semi-isolating formulas of a complete theory},
author = {Sergey V. Sudoplatov},
journal= {arXiv preprint arXiv:1210.4049},
year = {2012}
}
备注
35 pages. arXiv admin note: text overlap with arXiv:1205.3473