Pages that link to "Item:Q5311765"
From MaRDI portal
The following pages link to A structural investigation on formal topology: coreflection of formal covers and exponentiability (Q5311765):
Displayed 12 items.
- Cosheaves and connectedness in formal topology (Q651322) (← links)
- Objects: a study in Kantian formal epistemology (Q691124) (← links)
- Embedding locales and formal topologies into positive topologies (Q1756486) (← links)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)
- Vagueness, Kant and topology: a study of formal epistemology (Q2481249) (← links)
- Compactness in locales and in formal topology (Q2575779) (← links)
- Spatiality and classical logic (Q3170564) (← links)
- Relative formal topology: the binary positivity predicate comes first (Q3225738) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- (Q5009707) (← links)
- Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice (Q5060191) (← links)
- Every countably presented formal topology is spatial, classically (Q5480621) (← links)