A constructive Galois connection between closure and interior

DOI10.2178/JSL.7704150zbMath1275.03161arXiv1101.5896OpenAlexW2963269185MaRDI QIDQ4899177

Giovanni Sambin, Francesco Ciraulo

Publication date: 7 January 2013

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

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

zbMATH Keywords

reductionGalois connectionclosure operatorsaturationinterior operatorintuitionistic version

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (4)

Positivity relations on a locale ⋮ Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies ⋮ Embedding locales and formal topologies into positive topologies ⋮ The overlap algebra of regular opens

Cites Work

• Unnamed Item
• The overlap algebra of regular opens
• Inductively generated formal topologies.
• Some points in formal topology.
• On CLOSED SUBSETS OF THE INTUITIONISTIC REALS
• Formal topologies on the set of first-order formulae
• Boolean Algebras with Operators. Part I

This page was built for publication: A constructive Galois connection between closure and interior