Pages that link to "Item:Q1177237"
From MaRDI portal
The following pages link to A globalization of the Hahn-Banach theorem (Q1177237):
Displaying 22 items.
- Localic metric spaces and the localic Gelfand duality (Q266141) (← links)
- 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)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- About Stone's notion of spectrum (Q1772250) (← links)
- A constructive topological proof of van der Waerden's theorem (Q1910731) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Towards formal Baer criteria (Q2099403) (← 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)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Minimal invariant spaces in formal topology (Q4372901) (← links)
- (Q4553278) (← links)
- (Q4668868) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- The localic compact interval is an Escardó‐Simpson interval object (Q5108135) (← links)
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
