Pages that link to "Item:Q4907839"
From MaRDI portal
The following pages link to Convergence in formal topology: a unifying notion (Q4907839):
Displaying 14 items.
- The basic Zariski topology (Q887823) (← links)
- Finitary formal topologies and Stone's representation theorem (Q949607) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Embedding locales and formal topologies into positive topologies (Q1756486) (← links)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- Radical theory of Scott-open filters (Q2682912) (← links)
- (Q5009707) (← links)
- (Q5009708) (← links)
- (Q5028461) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Ordering groups constructively (Q5238136) (← links)
