Pages that link to "Item:Q1177237"
From MaRDI portal
The following pages link to A globalization of the Hahn-Banach theorem (Q1177237):
Displayed 13 items.
- Locales in functional analysis (Q807736) (← links)
- Étale groupoids and their quantales (Q854099) (← links)
- A Boolean model of ultrafilters (Q1304549) (← links)
- Quantum logic and linear logic (Q1330093) (← links)
- The Hahn-Banach theorem: The life and times (Q1356962) (← links)
- Constructive metrisability in point-free topology. (Q1427775) (← links)
- About Stone's notion of spectrum (Q1772250) (← links)
- A constructive topological proof of van der Waerden's theorem (Q1910731) (← links)
- Principles of functional analysis in scales of spaces: Hahn-Banach theorem, Banach theorem on homomorphisms, and theorems on open mappings and closed graphs (Q2378158) (← links)
- A globalisation of the Gelfand duality theorem (Q2575765) (← links)
- Minimal invariant spaces in formal topology (Q4372901) (← links)
- (Q4668868) (← links)
- On the quantisation of points (Q5939823) (← links)