Funayama's theorem revisited

DOI10.1007/s00012-013-0247-yzbMath1285.06004MaRDI QIDQ387628

Mamuka Jibladze, Guram Bezhanishvili, David Gabelaia

Publication date: 23 December 2013

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

Full work available at URL: https://doi.org/10.1007/s00012-013-0247-y

zbMATH Keywords

nucleus; MacNeille completion; Priestley spaces; Esakia space; free Boolean extension; join infinite distributive law; meet infinite distributive law; subframe

Mathematics Subject Classification ID

06D10: Complete distributivity

06D20: Heyting algebras (lattice-theoretic aspects)

06D22: Frames, locales

06E15: Stone spaces (Boolean spaces) and related structures

Related Items

McKinsey-Tarski algebras: an alternative pointfree approach to topology, Deriving dualities in pointfree topology from Priestley duality, Subordinations on bounded distributive lattices, Nuclear ranges in implicative semilattices, When is the frame of nuclei spatial: a new approach, The frame of nuclei on an Alexandroff space, Complemented MacNeille completions and algebras of fractions, Up-To Techniques for Weighted Systems

Cites Work

• Profinite Heyting algebras
• Join-continuous frames, Priestley's duality and biframes
• An algebraic approach to subframe logics. Intuitionistic case
• On closed elements in closure algebras
• Bitopological duality for distributive lattices and Heyting algebras
• Modal extensions of Heyting algebras
• Spaces with Boolean assemblies
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Canonical Extensions, Esakia Spaces, and Universal Models
• Imbedding Infinitely Distributive Lattices Completely Isomorphically Into Boolean Algebras
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The Theory of Representation for Boolean Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item