Pages that link to "Item:Q979062"
From MaRDI portal
The following pages link to The overlap algebra of regular opens (Q979062):
Displayed 9 items.
- Algebras of complemented subsets (Q2104273) (← links)
- Formalising Overlap Algebras in Matita (Q3094175) (← links)
- A constructive Galois connection between closure and interior (Q4899177) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- (Q5028461) (← links)
- Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (Q5200125) (← links)
- (Q5216305) (← links)
- Dynamics in Foundations: What Does It Mean in the Practice of Mathematics? (Q6075440) (← links)
- Overlap Algebras as Almost Discrete Locales (Q6137844) (← links)