The following pages link to Spatiality for formal topologies (Q3431544):
Displayed 11 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- The basic Zariski topology (Q887823) (← links)
- Finitary formal topologies and Stone's representation theorem (Q949607) (← links)
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- The principle of pointfree continuity (Q3121524) (← links)
- Higher order functions and Brouwer’s thesis (Q5016215) (← links)
- (Q5224156) (← links)
- Formal continuity implies uniform continuity near compact images on metric spaces (Q5404165) (← links)