The overlap algebra of regular opens
From MaRDI portal
Publication:979062
DOI10.1016/j.jpaa.2010.02.002zbMath1192.03047MaRDI 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 mathematics; locales; complete Boolean algebras; point-free topology; overlap algebra; overlap relation
54A05: Topological spaces and generalizations (closure spaces, etc.)
06D22: Frames, locales
03F65: Other constructive mathematics
06E10: Chain conditions, complete algebras
Related Items
Unnamed Item, A constructive Galois connection between closure and interior, Convergence in formal topology: a unifying notion, Unnamed Item, Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita, Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?, Algebras of complemented subsets, Formalising Overlap Algebras in Matita
Cites Work