Algebras of distributions for binary semi-isolating formulas of a complete theory
Logic
2012-10-16 v1
Abstract
We define a class of algebras describing links of binary semi-isolating formulas on a set of realizations for a family of 1-types of a complete theory. These algebras include algebras of isolating formulas considered before. We prove that a set of labels for binary semi-isolating formulas on a set of realizations for a 1-type forms a monoid of a special form with a partial order inducing ranks for labels, with set-theoretic operations, and with a composition. We describe the class of these structures. A description of the class of structures relative to families of 1-types is given.
Keywords
Cite
@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}
}
Comments
35 pages. arXiv admin note: text overlap with arXiv:1205.3473