Irreducible equivalence relations, Gleason spaces, and de Vries duality

DOI10.1007/S10485-016-9434-2zbMATH Open1425.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 algebracompact Hausdorff spaceproximityGleason coverStone spaceextremally disconnected spacemodal algebracomplete Boolean algebra

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (16)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014017)