The aim of this paper is to reformulate the Hahn-Banach theorem in order to avoid the effects of its dependence on the Axiom of Choice, which is a non-constructive principle. A new form of the theorem is proved in any Grothendieck topos. It provides a result which applies equally to situations involving continuity in parameters and equivalence with respect to a group action. This definition, when applied to the topos of sets, yields precisely the classical version of the Hahn-Banach theorem.
Recommendations
Cites work
- A condition for a ringed space to be a generator in its category of modules
- An extension of the Galois theory of Grothendieck
- Atomless Parts of Spaces.
- Banach sheaves
- Boolean topoi and the theory of sets
- Bundles of topological vector spaces and their duality
- Champs continus d'espaces hilbertiens et de C^*-algèbres
- Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
- Gattungen von lokalen Strukturen
- scientific article; zbMATH DE number 3422590 (Why is no real title available?)
- scientific article; zbMATH DE number 3131597 (Why is no real title available?)
- scientific article; zbMATH DE number 3840648 (Why is no real title available?)
- scientific article; zbMATH DE number 3853067 (Why is no real title available?)
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 3940199 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3664922 (Why is no real title available?)
- scientific article; zbMATH DE number 3672982 (Why is no real title available?)
- scientific article; zbMATH DE number 3695180 (Why is no real title available?)
- scientific article; zbMATH DE number 3710374 (Why is no real title available?)
- scientific article; zbMATH DE number 3742211 (Why is no real title available?)
- scientific article; zbMATH DE number 3745447 (Why is no real title available?)
- scientific article; zbMATH DE number 3759128 (Why is no real title available?)
- scientific article; zbMATH DE number 3542619 (Why is no real title available?)
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- scientific article; zbMATH DE number 3621713 (Why is no real title available?)
- scientific article; zbMATH DE number 3430850 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- scientific article; zbMATH DE number 3411260 (Why is no real title available?)
- Independence of the prime ideal theorem from the Hahn Banach theorem
- Logic and structure.
- On Constructive Fields
- Quotient Frames and Subspaces
- SHEAVES OF BANACH SPEACES
- Stone-Čech compactification of locales. II
- The Gleason cover of a topos. I
- The Gleason cover of a topos. II
- The Hahn-Banach theorem in a category of sheaves
- Toposes without points
- Tychonoff's theorem without the axiom of choice
Cited in
(29)- A Boolean model of ultrafilters
- Quantum logic and linear logic
- The Hahn-Banach theorem: The life and times
- Constructive metrisability in point-free topology.
- Eliminating disjunctions by disjunction elimination
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- About Stone's notion of spectrum
- A constructive topological proof of van der Waerden's theorem
- The Hahn-Banach theorem by disjunction elimination
- Towards formal Baer criteria
- Principles of functional analysis in scales of spaces: Hahn-Banach theorem, Banach theorem on homomorphisms, and theorems on open mappings and closed graphs
- A globalisation of the Gelfand duality theorem
- Localic metric spaces and the localic Gelfand duality
- A universal algorithm for Krull's theorem
- The Hahn--Banach theorem as a principle of choice
- scientific article; zbMATH DE number 4052612 (Why is no real title available?)
- The Hahn-Banach theorem implies the existence of a non-Lebesgue measurable set
- Minimal invariant spaces in formal topology
- scientific article; zbMATH DE number 1529676 (Why is no real title available?)
- Extension by conservation. Sikorski's theorem
- scientific article; zbMATH DE number 2156379 (Why is no real title available?)
- Global univalence and global inversion theorems in Banach spaces
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- The localic compact interval is an Escardó-Simpson interval object
- Eliminating disjunctions by disjunction elimination
- scientific article; zbMATH DE number 4188131 (Why is no real title available?)
- On the quantisation of points
- Locales in functional analysis
- Étale groupoids and their quantales
This page was built for publication: A globalization of the Hahn-Banach theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1177237)
