Algebras of distributions for semi-isolating formulas of a complete theory

MaRDI QIDQ892013zbMATH OpenFDO

Authors 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/1210.4049, http://semr.math.nsc.ru/v11/p408-433.pdf

zbMATH Keywords

completenesstypealgebra of binary semi-isolating formulasdeterministic structurejoin of monoids

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 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.

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 -categorical weakly o-minimal theories
• Completeness theory for finite partial algebras
• The Distributivity Equations of Semi-Uninorms

Cited in

(15)

• Algebras of binary isolating formulas for theories of root products of graphs
• Generations and quotients for algebras of distributions of binary formulas
• scientific article; zbMATH DE number 6304244 (Why is no real title available?)
• Algebras of distributions for 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 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 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

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)