Model theory of Boolean products of subdirectly irreducible heyting algebras

DOI10.1080/00927879808826204zbMath0901.03030OpenAlexW2133065493MaRDI QIDQ4395730

Klaus-Hilmar Sprenger

Publication date: 22 November 1998

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927879808826204

zbMATH Keywords

Boolean productmodel completenessmodel companionssubdirectly irreducible Heyting algebrassubstructure completenessrelative Stone algebrasatomless Post algebrassubdirectly irreducible \(p\)-algebras

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Heyting algebras (lattice-theoretic aspects) (06D20) Stone spaces (Boolean spaces) and related structures (06E15) Post algebras (lattice-theoretic aspects) (06D25) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35)

Cites Work

• Unnamed Item
• Quantifier elimination for Stone algebras
• Model-completeness and elimination of quantifiers for subdirect products of structures
• Equational classes of relative Stone algebras
• Stonesche Verbände der Ordnung \(n\) und Postalgebren
• Model companions of distributive p-algebras
• A note on ℵ0-categorical model-companions

This page was built for publication: Model theory of Boolean products of subdirectly irreducible heyting algebras