Profinite Heyting algebras

DOI10.1007/s11083-008-9089-1zbMath1155.06007OpenAlexW2147512620MaRDI QIDQ953270

Guram Bezhanishvili, Nick Bezhanishvili

Publication date: 17 November 2008

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-008-9089-1

zbMATH Keywords

Heyting algebrasprofinite algebras

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)

Related Items

Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ Compact Hausdorff Heyting algebras ⋮ Epimorphisms in varieties of residuated structures ⋮ Funayama's theorem revisited ⋮ Profinite MV-algebras and multisets. ⋮ Deriving dualities in pointfree topology from Priestley duality ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Esakia duals of regular Heyting algebras ⋮ B-frame duality ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Cofinal stable logics ⋮ Stone MV-algebras and strongly complete MV-algebras ⋮ On Bellissima's construction of the finitely generated free Heyting algebras, and beyond ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Comparison of MacNeille, canonical, and profinite completions ⋮ When is the frame of nuclei spatial: a new approach ⋮ AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4 ⋮ Hofmann-Mislove through the lenses of Priestley

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Profinite completions and canonical extensions of Heyting algebras
• Varieties of monadic Heyting algebras. II: Duality theory
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces