Algebras of distributions for semi-isolating formulas of a complete theory
From MaRDI portal
Publication:892013
zbMATH Open1355.03026arXiv1210.4049MaRDI QIDQ892013FDOQ892013
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 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.
Full work available at URL: https://arxiv.org/abs/1210.4049
Recommendations
- Algebras of distributions for isolating formulas of a complete theory
- scientific article; zbMATH DE number 6304244
- Algebras of distributions of binary isolating formulas for quite o-minimal theories
- On algebras of distributions of binary formulas for theories of unars
- scientific article; zbMATH DE number 824502
- On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered enrichments
- Algebras of binary isolating formulas for strong product theories
- Algebras of distributions of binary isolating formulas for almost \(\omega \)-categorical weakly o-minimal theories
- Completeness theory for finite partial algebras
- The Distributivity Equations of Semi-Uninorms
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 (11)
- 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 binary formulas for \(\aleph_0\)-categorical weakly circularly minimal theories: piecewise monotonic case
- Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures
- 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 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
This page was built for publication: Algebras of distributions for semi-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 Q892013)
