The overlap algebra of regular opens
From MaRDI portal
Publication:979062
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
constructive mathematicslocalescomplete Boolean algebraspoint-free topologyoverlap algebraoverlap relation
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
This page was built for publication: The overlap algebra of regular opens