The overlap algebra of regular opens

DOI10.1016/J.JPAA.2010.02.002zbMATH Open1192.03047OpenAlexW1987007120MaRDI QIDQ979062FDOQ979062

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

Recommendations

• Regular opens in constructive topology and a representation theorem for overlap algebras
• Constructive version of Boolean algebra
• Intuitionistic overlap structures
• Regarding overlaps in `topologic'
• Formalising overlap algebras in Matita

zbMATH Keywords

constructive mathematicslocalespoint-free topologycomplete Boolean algebrasoverlap algebraoverlap relation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• A constructive investigation of satisfiability
• A constructive Galois connection between closure and interior
• The algebra of topology

Cited In (9)

• Title not available (Why is that?)
• Overlap Algebras as Almost Discrete Locales
• A constructive Galois connection between closure and interior
• Convergence in formal topology: a unifying notion
• Title not available (Why is that?)
• Formalising Overlap Algebras in Matita
• Algebras of complemented subsets
• Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita
• Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?

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

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