Pages that link to "Item:Q4899177"
From MaRDI portal
The following pages link to A constructive Galois connection between closure and interior (Q4899177):
Displaying 8 items.
- Positivity relations on a locale (Q290642) (← links)
- The overlap algebra of regular opens (Q979062) (← links)
- Embedding locales and formal topologies into positive topologies (Q1756486) (← links)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)
- On the constructive notion of closure maps (Q2910990) (← links)
- Intuitionistic propositional logic with Galois connections (Q3061277) (← links)
- A GALOIS CORRESPONDENCE BETWEEN CLOSURE SPACES AND RELATIONAL SYSTEMS (Q4262040) (← links)
- Some relations between prime inner operators, prime closure operators and connections (Q5381610) (← links)
