Publications > Preprint server > Preprint Number 451
Preprint Number 451
451. Ilya V. Shulepov, Sergey V. Sudoplatov
Algebras of distributions of binary isolating formulas of a complete theory
Submission date: 16 May 2012.
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.
Mathematics Subject Classification: 03C07, 03G15, 20N02, 08A02, 08A55
Keywords and phrases:
|Last updated: May 22 2012 11:38||Please send your corrections to:|