MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 451

Preprint Number 451

Previous Next Preprint server


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:

Full text arXiv 1205.3473: pdf, ps.


Last updated: May 22 2012 11:38 Please send your corrections to: