Funayama's theorem revisited

DOI10.1007/s00012-013-0247-yzbMath1285.06004OpenAlexW2388886173MaRDI 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

nucleusMacNeille completionPriestley spacesEsakia spacefree Boolean extensionjoin infinite distributive lawmeet infinite distributive lawsubframe

Mathematics Subject Classification ID

Complete distributivity (06D10) Heyting algebras (lattice-theoretic aspects) (06D20) Frames, locales (06D22) Stone spaces (Boolean spaces) and related structures (06E15)

Related Items (8)

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

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

This page was built for publication: Funayama's theorem revisited