MODNET

Research Training Network in Model Theory

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 E-mail: Submission date: 16 May 2012. Abstract: 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: |