Profinite completions and canonical extensions of Heyting algebras

DOI10.1007/s11083-006-9037-xzbMath1112.06008OpenAlexW2157374667MaRDI QIDQ862977

Guram Bezhanishvili, Patrick J. Morandi, Mai Gehrke, Ray Mines

Publication date: 25 January 2007

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-006-9037-x

zbMATH Keywords

duality theoryHeyting algebraprofinite completioncanonical extension

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50) Varieties of lattices (06B20)

Related Items

Duality and Universal Models for the Meet-Implication Fragment of IPC ⋮ Profinite completions and MacNeille completions of finitely presented MV-algebras ⋮ Boolean topological distributive lattices and canonical extensions ⋮ The frame of nuclei on an Alexandroff space ⋮ Epimorphisms in varieties of residuated structures ⋮ Profinite MV-algebras and multisets. ⋮ On some classes of Heyting algebras with successor that have the amalgamation property ⋮ Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras ⋮ Priestley rings and Priestley order-compactifications ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ Profinite Heyting algebras ⋮ Codimension and pseudometric in co-Heyting algebras ⋮ Bohr compactifications of algebras and structures ⋮ On Bellissima's construction of the finitely generated free Heyting algebras, and beyond ⋮ Canonical extensions and profinite completions of semilattices and lattices ⋮ Canonical extensions and ultraproducts of polarities ⋮ Comparison of MacNeille, canonical, and profinite completions ⋮ MacNeille completion and profinite completion can coincide on finitely generated modal algebras

Cites Work

• Locally finite varieties of Heyting algebras
• On profinite completions and canonical extensions
• Varieties of monadic Heyting algebras. II: Duality theory
• On the canonicity of Sahlqvist identities
• A coalgebraic view of Heyting duality
• Pretabular superintuitionistic logic
• Bounded distributive lattice expansions
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Boolean Algebras with Operators. Part I
• Bounded lattice expansions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item