Pages that link to "Item:Q4925157"
From MaRDI portal
The following pages link to Constructive version of Boolean algebra (Q4925157):
Displaying 10 items.
- The overlap algebra of regular opens (Q979062) (← links)
- Constructive Boolean algebras (Q1121876) (← links)
- More constructions for Boolean algebras (Q1407547) (← links)
- Regular opens in constructive topology and a representation theorem for overlap algebras (Q1942039) (← links)
- On the decidability of axiomatized mereotopological theories (Q2354622) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (Q5200125) (← links)
- Intuitionistic mereology (Q6067323) (← links)
- Overlap Algebras as Almost Discrete Locales (Q6137844) (← links)
- Intuitionistic mereology. II: Overlap and disjointness (Q6166132) (← links)