The overlap algebra of regular opens

DOI10.1016/J.JPAA.2010.02.002zbMath1192.03047OpenAlexW1987007120MaRDI QIDQ979062

Francesco Ciraulo, Giovanni Sambin

Publication date: 25 June 2010

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2010.02.002

zbMATH Keywords

constructive mathematicslocalescomplete Boolean algebraspoint-free topologyoverlap algebraoverlap relation

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Frames, locales (06D22) Other constructive mathematics (03F65) Chain conditions, complete algebras (06E10)

Related Items (9)

Unnamed Item ⋮ Dynamics in Foundations: What Does It Mean in the Practice of Mathematics? ⋮ Overlap Algebras as Almost Discrete Locales ⋮ Unnamed Item ⋮ A constructive Galois connection between closure and interior ⋮ Convergence in formal topology: a unifying notion ⋮ Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita ⋮ Formalising Overlap Algebras in Matita ⋮ Algebras of complemented subsets

Cites Work

• A constructive investigation of satisfiability
• The algebra of topology
• A constructive Galois connection between closure and interior
• Unnamed Item

This page was built for publication: The overlap algebra of regular opens