CHOICE-FREE STONE DUALITY

DOI10.1017/jsl.2019.11zbMath1444.03172arXiv2112.06859OpenAlexW2888854719MaRDI QIDQ5107222

Wesley H. Holliday, Nick Bezhanishvili

Publication date: 17 April 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.06859

zbMATH Keywords

Boolean algebraStone dualityaxiom of choicespectral spacesspectral mapVietoris hyperspaceBoolean homomorphismregular open algebraStone locales

Mathematics Subject Classification ID

Frames, locales (06D22) Stone spaces (Boolean spaces) and related structures (06E15) Logical aspects of Boolean algebras (03G05) Axiom of choice and related propositions (03E25)

Related Items (9)

Chu duality theory and coalgebraic representation of quantum symmetries ⋮ Choice-free duality for orthocomplemented lattices by means of spectral spaces ⋮ Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic ⋮ A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras ⋮ Positive modal logic beyond distributivity ⋮ Proper spaces are spectral ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ B-frame duality ⋮ The category of finitary biframes as the category of pointfree bispaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intervals and tenses
• From worlds to possibilities
• ZF and Boolean algebra
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Frames and Locales
• Localic completion of generalized metric spaces II: Powerlocales
• Introduction to Boolean Algebras
• Bitopological duality for distributive lattices and Heyting algebras
• The point of pointless topology
• Tychonoff's theorem without the axiom of choice
• The Stone Space of an Ortholattice
• Constructive points of powerlocales
• Prime Ideal Structure in Commutative Rings
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The Theory of Representation for Boolean Algebras
• Axiom of choice
• Bounded lattice expansions

This page was built for publication: CHOICE-FREE STONE DUALITY