Profinite Heyting algebras
From MaRDI portal
Publication:953270
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
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