Algebras of distributions for isolating formulas of a complete theory
From MaRDI portal
Publication:892012
zbMATH Open1355.03025arXiv1205.3473MaRDI QIDQ892012FDOQ892012
S. V. Sudoplatov, I. V. Shulepov
Publication date: 18 November 2015
Published in: Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1205.3473
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)
Cited In (18)
- Algebras of binary isolating formulas for theories of root products of graphs
- Title not available (Why is that?)
- Generations and quotients for algebras of distributions of binary formulas
- Algebras of distributions for semi-isolating formulas of a complete theory
- Algebras of binary formulas for \(\aleph_0\)-categorical weakly circularly minimal theories: piecewise monotonic case
- Algebras of distributions of binary isolating formulas for quite o-minimal theories
- 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 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 distributions of binary isolating formulas for almost \(\omega \)-categorical weakly \(o\)-minimal theories
- 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)
