A globalization of the Hahn-Banach theorem

DOI10.1016/0001-8708(91)90082-IzbMath0745.03047MaRDI QIDQ1177237

Joan Wick Pelletier, Christopher J. Mulvey

Publication date: 26 June 1992

Published in: Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

Hahn-Banach theoremGrothendieck topos

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Topoi (18B25) Constructive functional analysis (46S30)

Related Items (23)

Localic metric spaces and the localic Gelfand duality ⋮ Quantum logic and linear logic ⋮ Unnamed Item ⋮ Principles of functional analysis in scales of spaces: Hahn-Banach theorem, Banach theorem on homomorphisms, and theorems on open mappings and closed graphs ⋮ The Hahn-Banach theorem: The life and times ⋮ Étale groupoids and their quantales ⋮ A constructive topological proof of van der Waerden's theorem ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A universal algorithm for Krull's theorem ⋮ Eliminating disjunctions by disjunction elimination ⋮ The localic compact interval is an Escardó‐Simpson interval object ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Constructive metrisability in point-free topology. ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Minimal invariant spaces in formal topology ⋮ On the quantisation of points ⋮ About Stone's notion of spectrum ⋮ Unnamed Item ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ A Boolean model of ultrafilters ⋮ A globalisation of the Gelfand duality theorem ⋮ Towards formal Baer criteria ⋮ Locales in functional analysis

Cites Work

• Gattungen von lokalen Strukturen
• Stone-Čech compactification of locales. II
• The Hahn-Banach theorem in a category of sheaves
• The Gleason cover of a topos. I
• The Gleason cover of a topos. II
• Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
• Banach sheaves
• Bundles of topological vector spaces and their duality
• Toposes without points
• A condition for a ringed space to be a generator in its category of modules
• Boolean topoi and the theory of sets
• An extension of the Galois theory of Grothendieck
• SHEAVES OF BANACH SPEACES
• Tychonoff's theorem without the axiom of choice
• Champs continus d'espaces hilbertiens et de $C^*$-algèbres
• Quotient Frames and Subspaces
• On Constructive Fields
• Atomless Parts of Spaces.
• Independence of the prime ideal theorem from the Hahn Banach theorem
• Logic and structure.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A globalization of the Hahn-Banach theorem