完全理论的二元隔离公式的分布代数
逻辑
2012-05-16 v1
摘要
我们定义了一类代数，描述了一个完全理论的一组1-型实现集上二元隔离公式的分布联系。我们证明，如果存在一个在p的实现上的原子模型，那么在一个1-型p的实现集上二元隔离公式的标签集形成一个特殊形式的广群。我们描述了这类广群，并考虑了这些广群在一般情况和特殊理论中的特征。给出了关于1-型族的偏广群类的描述。
引用
@article{arxiv.1205.3473,
title = {Algebras of distributions of binary isolating formulas of a complete theory},
author = {Ilya V. Shulepov and Sergey V. Sudoplatov},
journal= {arXiv preprint arXiv:1205.3473},
year = {2012}
}
备注
41 pages, 1 figure