Compact Hausdorff Heyting algebras

DOI10.1007/s00012-016-0387-yzbMath1352.06008OpenAlexW2460236954MaRDI QIDQ334967

John Harding, Guram Bezhanishvili

Publication date: 1 November 2016

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

Full work available at URL: https://doi.org/10.1007/s00012-016-0387-y

zbMATH Keywords

profinite Heyting algebratopological Heyting algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Topological lattices (06B30)

Related Items

Profiniteness and representability of spectra of Heyting algebras, Stone MV-algebras and strongly complete MV-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• On the proof that compact Hausdorff Boolean algebras are powersets
• Profinite Heyting algebras
• Theorems on Compact Totally Disconnected Semigroups and Lattices
• Topological Lattices