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

Preprint Number 515

Previous Next Preprint server


515. Sergey V. Sudoplatov
Algebras of distributions for binary semi-isolating formulas of a complete theory
E-mail:

Submission date: 15 October 2012.

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

Mathematics Subject Classification: 03C07, 03G15, 20N02, 08A02, 08A55

Keywords and phrases:

Full text arXiv 1210.4049: pdf, ps.


Last updated: October 16 2012 12:09 Please send your corrections to: