Algebras of binary isolating formulas for strong product theories

DOI10.26516/1997-7670.2023.45.138OpenAlexW4386717098MaRDI QIDQ6064143

Dmitriĭ Yur'evich Emel'yanov

Publication date: 8 November 2023

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

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

zbMATH Keywords

model theorystrong productCayley tablesalgebra of binary isolating formulas

Mathematics Subject Classification ID

Other classical first-order model theory (03C68)

Cites Work

• Hypergraphs of prime models and distributions of countable models of small theories
• Algebras of distributions for isolating formulas of a complete theory
• Algebras of distributions for semi-isolating formulas of a complete theory
• On distributions of countable models of disjoint unions of Ehrenfeucht 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
• On algebras of distributions of binary formulas for theories of unars

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