The overlap algebra of regular opens

DOI10.1016/J.JPAA.2010.02.002MaRDI QIDQ979062zbMATH OpenOpenAlexFDO

Authors 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 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)

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

Cites work

• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• A constructive Galois connection between closure and interior
• A constructive investigation of satisfiability
• The algebra of topology

Cited in

(11)

• Intuitionistic overlap structures
• Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?
• Algebras of complemented subsets
• Formalization of formal topology by means of the interactive theorem prover Matita
• scientific article; zbMATH DE number 7471696 (Why is no real title available?)
• Formalising overlap algebras in Matita
• Convergence in formal topology: a unifying notion
• scientific article; zbMATH DE number 7168149 (Why is no real title available?)
• Overlap Algebras as Almost Discrete Locales
• Regular opens in constructive topology and a representation theorem for overlap algebras
• A constructive Galois connection between closure and interior

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)