The overlap algebra of regular opens
From MaRDI portal
Publication:979062
Recommendations
Cites work
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)