Algebras of distributions for isolating formulas of a complete theory

MaRDI QIDQ892012zbMATH OpenFDO

Authors I. V. Shulepov, S. V. Sudoplatov

Publication date 18 November 2015

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.3473, http://semr.math.nsc.ru/v11/p380-407.pdf

zbMATH Keywords

completenesstypedeterministic structuregroupoid of binary isolating formulasjoin of groupoids

Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Basic properties of first-order languages and structures (03C07) Sets with a single binary operation (groupoids) (20N02) Partial algebras (08A55)

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.

Recommendations

• Algebras of distributions for semi-isolating formulas of a complete theory
• On algebras of distributions of binary formulas for theories of unars
• On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered enrichments
• Algebras of distributions of binary isolating formulas for quite o-minimal theories
• Algebras of distributions of binary isolating formulas for almost -categorical weakly o-minimal theories

Cited in

(21)

• Algebras of binary isolating formulas for theories of root products of graphs
• Generations and quotients for algebras of distributions of binary formulas
• Algebras of binary isolating formulas for homomorphic product theories
• Algebras of binary formulas for weakly circularly minimal theories: monotonic-to-left case
• scientific article; zbMATH DE number 6304244 (Why is no real title available?)
• Algebras of distributions for semi-isolating formulas of a complete theory
• Algebras of distributions of binary isolating formulas for quite o-minimal theories
• Algebras of binary formulas for \(\aleph_0\)-categorical weakly circularly minimal theories: piecewise monotonic case
• Algebras of binary isolating formulas for tensor product theories
• Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures
• On deterministic and absorbing algebras of binary formulas of polygonometrical theories
• On algebras of distributions of binary formulas for theories of unars
• Algebras of binary formulas for weakly circularly minimal theories with trivial definable closure
• On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered enrichments
• Algebras of binary formulas for weakly circularly minimal theories with equivalence relations
• Algebras of distributions of binary isolating formulas for almost -categorical weakly o-minimal theories
• Algebras of binary formulas for compositions of theories
• Algebras of distributions of binary formulas for theories of Archimedean solids
• Structure of algebras of binary formulas for polygonometrical theories with the symmetry condition
• Algebras of binary isolating formulas for strong product theories
• Algebras of binary formulas for weakly circularly minimal theories with non-trivial definable closure

This page was built for publication: Algebras of distributions for isolating formulas of a complete theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q892012)