The subalgebra lattice of a Heyting algebra
Luc Vrancken-Mawet, Georges Hansoul (1987)
Czechoslovak Mathematical Journal
Similarity:
Luc Vrancken-Mawet, Georges Hansoul (1987)
Czechoslovak Mathematical Journal
Similarity:
V. Koubek, J. Sichler (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Filip Krajník, Miroslav Ploščica (2014)
Czechoslovak Mathematical Journal
Similarity:
We say that a variety of algebras has the Compact Intersection Property (CIP), if the family of compact congruences of every is closed under intersection. We investigate the congruence lattices of algebras in locally finite, congruence-distributive CIP varieties and obtain a complete characterization for several types of such varieties. It turns out that our description only depends on subdirectly irreducible algebras in and embeddings between them. We believe that the strategy...