Pages that link to "Item:Q5480621"
From MaRDI portal
The following pages link to Every countably presented formal topology is spatial, classically (Q5480621):
Displaying 8 items.
- Independence results in formal topology (Q651321) (← links)
- Objects: a study in Kantian formal epistemology (Q691124) (← links)
- Constructive characterizations of bar subsets (Q866574) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Spatiality and classical logic (Q3170564) (← links)
- Relative formal topology: the binary positivity predicate comes first (Q3225738) (← links)
- Generalising the fan theorem (Q5108091) (← links)
- Spatiality of countably presentable locales (proved with the Baire category theorem) (Q5740673) (← links)
