On algebras of distributions of binary formulas for theories of unars

zbMath1362.03028MaRDI QIDQ2627174

Dmitriĭ Yur'evich Emel'yanov

Publication date: 30 May 2017

Published in: Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika (Search for Journal in Brave)

Full work available at URL: http://isu.ru/journal/downloadArticle?article=_915ae831b98448ed894861d118be8e77&lang=rus

zbMATH Keywords

algebra of distributions of binary formulaselementary theoryunarunary predicate

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Sets with a single binary operation (groupoids) (20N02) Models of other mathematical theories (03C65) Unary algebras (08A60) Basic properties of first-order languages and structures (03C07)

Related Items (9)

Algebras of binary isolating formulas for theories of root products of graphs ⋮ On deterministic and absorbing algebras of binary formulas of polygonometrical theories ⋮ Algebras of binary isolating formulas for strong product theories ⋮ Algebras of binary formulas for weakly circularly minimal theories with non-trivial definable closure ⋮ Algebras of binary formulas for compositions of theories ⋮ Algebras of distributions of binary formulas for theories of Archimedean solids ⋮ On algebras of distributions of binary isolating formulas for theories of abelian groups and their ordered enrichments ⋮ Algebras of binary isolating formulas ⋮ Algebras of binary isolating formulas for tensor product theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hypergraphs of prime models and distributions of countable models of small theories
• Conditions for non-symmetric relations of semi-isolation
• Algebras of distributions for isolating formulas of a complete theory
• Algebras of distributions for semi-isolating formulas of a complete theory
• Categorical theories of a function
• Countable Models of Stable Theories
• The number of countable models of a theory of one unary function
• Complete theories of unars

This page was built for publication: On algebras of distributions of binary formulas for theories of unars