A constructive Galois connection between closure and interior

DOI10.2178/JSL.7704150MaRDI QIDQ4899177zbMATH OpenOpenAlexFDO

Authors Francesco Ciraulo, Giovanni Sambin

Publication date 7 January 2013

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

Full work available at URL https://arxiv.org/abs/1101.5896, https://projecteuclid.org/euclid.jsl/1350315590

zbMATH Keywords

closure operatorGalois connectioninterior operatorintuitionistic versionreductionsaturation

Mathematics Subject Classification ID

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

Abstract: We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior operators via complement.

Recommendations

• Some relations between closure operators, inner operators and connections
• Interior operators and topological separation
• Intuitionistic propositional logic with Galois connections
• Closure operators and connectedness
• Some relations between prime inner operators, prime closure operators and connections

Cites work

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

Cited in

(9)

• Embedding locales and formal topologies into positive topologies
• Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
• Positivity relations on a locale
• On the constructive notion of closure maps
• Intuitionistic propositional logic with Galois connections
• Some relations between closure operators, inner operators and connections
• A GALOIS CORRESPONDENCE BETWEEN CLOSURE SPACES AND RELATIONAL SYSTEMS
• Some relations between prime inner operators, prime closure operators and connections
• The overlap algebra of regular opens

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

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