Irreducible equivalence relations, Gleason spaces, and de Vries duality

DOI10.1007/s10485-016-9434-2zbMath1425.54006OpenAlexW2335935258MaRDI QIDQ2014017

Nick Bezhanishvili, Guram Bezhanishvili, Sumit Sourabh, Yde Venema

Publication date: 10 August 2017

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-016-9434-2

zbMATH Keywords

Boolean algebracomplete Boolean algebraproximityStone spacecompact Hausdorff spaceGleason coverextremally disconnected spacemodal algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical methods in general topology (54B30) Stone spaces (Boolean spaces) and related structures (06E15) Extremally disconnected spaces, (F)-spaces, etc. (54G05)

Related Items (13)

Categorical extension of dualities: from Stone to de Vries and beyond. I ⋮ A variety of algebras closely related to subordination algebras ⋮ Bounded distributive lattices with two subordinations ⋮ From contact relations to modal operators, and back ⋮ Subordinations on bounded distributive lattices ⋮ A generalization of de Vries duality to closed relations between compact Hausdorff spaces ⋮ Relational representation for subordination Tarski algebras ⋮ Subordination algebras as semantic environment of input/output logic ⋮ Extensions of dualities and a new approach to the Fedorchuk duality ⋮ Compact Hausdorff spaces with relations and Gleason spaces ⋮ Subordination Tarski algebras ⋮ A strict implication calculus for compact Hausdorff spaces ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
• Projective topological spaces
• Stone duality and Gleason covers through de Vries duality
• A partially ordered space which is not a Priestley space
• Tools and techniques in modal logic
• The Priestley separation axiom for scattered spaces
• De Vries algebras and compact regular frames
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I
• Proximity frames and regularization.
• Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
• Region-based theory of discrete spaces: A proximity approach
• Lattice subordinations and Priestley duality.
• Varieties of complex algebras
• STABLE CANONICAL RULES
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Modal compact Hausdorff spaces
• The Theory of Representation for Boolean Algebras
• Boolean Algebras with Operators. Part I
• Relational Methods in Computer Science

This page was built for publication: Irreducible equivalence relations, Gleason spaces, and de Vries duality