Profinite completions and canonical extensions of Heyting algebras

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

Mai Gehrke, Guram Bezhanishvili, Patrick J. Morandi, 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 theory; Heyting algebra; profinite completion; canonical extension

Mathematics Subject Classification ID

06D20: Heyting algebras (lattice-theoretic aspects)

06D50: Lattices and duality

06B20: Varieties of lattices

Related Items

Codimension and pseudometric in co-Heyting algebras, Priestley rings and Priestley order-compactifications, On Bellissima's construction of the finitely generated free Heyting algebras, and beyond, Profinite Heyting algebras, Comparison of MacNeille, canonical, and profinite completions, MacNeille completion and profinite completion can coincide on finitely generated modal algebras, Boolean topological distributive lattices and canonical extensions

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