Algebras of binary formulas for compositions of theories

DOI10.1007/S10469-020-09602-YMaRDI QIDQ2213940zbMATH OpenOpenAlexFDO

Authors B. Sh. Kulpeshov, S. V. Sudoplatov, Dmitriĭ Yur'evich Emel'yanov

Publication date 4 December 2020

Published in Algebra and Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10469-020-09602-y

zbMATH Keywords

\( \aleph_0\)-categorical theoryalgebra of binary formulascomposition of theoriescyclic preordere-definable compositionlinear preorderstable theorystrongly minimal theory

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Applications of logic to group theory (20A15)

Recommendations

• Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures
• Algebras of binary isolating formulas for theories of root products of graphs
• On algebras of distributions of binary formulas for theories of unars
• Algebras of distributions of binary isolating formulas for almost -categorical weakly o-minimal theories
• On deterministic and absorbing algebras of binary formulas of polygonometrical theories

Cites work

• Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures
• Algebras of distributions for isolating formulas of a complete theory
• Algebras of distributions for semi-isolating formulas of a complete theory
• Algebras of distributions of binary isolating formulas for quite o-minimal theories
• Classification theory and the number of non-isomorphic models.
• Combinations of structures
• Fundamentals of forking
• scientific article; zbMATH DE number 3162939 (Why is no real title available?)
• scientific article; zbMATH DE number 46665 (Why is no real title available?)
• scientific article; zbMATH DE number 3290993 (Why is no real title available?)
• Minimale Gruppen
• Models of superstable Horn theories
• 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
• On deterministic and absorbing algebras of binary formulas of polygonometrical theories
• On distributions of countable models of disjoint unions of Ehrenfeucht theories
• On strongly minimal sets
• Transitive arrangements of algebraic systems

Cited in

(15)

• Algebras of binary isolating formulas
• Algebras of binary formulas for weakly circularly minimal theories with non-trivial definable closure
• Algebras of binary isolating formulas for strong product theories
• Algebras of binary formulas for weakly circularly minimal theories with trivial definable closure
• Almost n-ary and almost n-aritizable theories
• Algebras of binary formulas for \(\aleph_0\)-categorical weakly circularly minimal theories: piecewise monotonic case
• Complexes of relational structures and their properties
• On algebras of binary isolating formulas for weakly circularly minimal theories of convexity rank 2
• Algebras of binary formulas for weakly circularly minimal theories with equivalence relations
• Heritability of types of pregeometry with respect to compositions of structures
• Algebras of binary formulas for weakly circularly minimal theories: monotonic-to-left case
• Algebras of binary formulas for 0-categorical weakly circularly minimal theories: monotonic case
• Almost quasi-Urbanik structures and theories
• Approximations of theories of unars
• Heritability of types of a pregeometry relative to a family of relational structures

This page was built for publication: Algebras of binary formulas for compositions of theories

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