Algebras of binary isolating formulas for tensor product theories

DOI10.26516/1997-7670.2022.41.131MaRDI QIDQ2097325zbMATH OpenOpenAlexFDO

Authors Dmitriĭ Yur'evich Emel'yanov

Publication date 11 November 2022

Published in The Bulletin of Irkutsk State University. Series Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://mathizv.isu.ru/en/article/file?id=1425

zbMATH Keywords

algebra of binary isolating formulasCayley tablesmodel theorytensor product

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Model-theoretic algebra (03C60)

Recommendations

• 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 formulas for theories of Archimedean solids
• On deterministic and absorbing algebras of binary formulas of polygonometrical theories
• Algebras of distributions for semi-isolating formulas of a complete theory

Cites work

• Algebras of distributions for isolating formulas of a complete theory
• Algebras of distributions of binary formulas for theories of Archimedean solids
• Hypergraphs of prime models and distributions of countable models of small theories
• On algebras of distributions of binary formulas for theories of unars
• On distributions of countable models of disjoint unions of Ehrenfeucht theories
• Structure of algebras of binary formulas for polygonometrical theories with the symmetry condition

Cited in

(3)

• Algebras of binary isolating formulas for strong product theories
• Heritability of types of a pregeometry relative to a family of relational structures
• Algebras of binary isolating formulas for theories of root products of graphs

This page was built for publication: Algebras of binary isolating formulas for tensor product theories

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