On the equivalence in ZF+BPI of the Hahn-Banach theorem and three classical theorems

DOI10.1007/S00025-023-02116-WOpenAlexW4391225310WikidataQ129332760 ScholiaQ129332760MaRDI QIDQ6150802FDOQ6150802

Authors: Roman Badora, Barbara Przebieracz 

Publication date: 9 February 2024

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

Full work available at URL: https://doi.org/10.1007/s00025-023-02116-w

Recommendations

• scientific article; zbMATH DE number 23926
• The Hahn--Banach theorem as a principle of choice
• The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem
• scientific article; zbMATH DE number 5268935
• scientific article; zbMATH DE number 458835

zbMATH Keywords

Hahn-Banach theoremMazur-Orlicz theoremMarkov-Kakutani theoremvon Neumann theorem on amenability of abelian groups

Mathematics Subject Classification ID

Means on groups, semigroups, etc.; amenable groups (43A07) Theorems of Hahn-Banach type; extension and lifting of functionals and operators (46A22) Fixed points and coincidences in algebraic topology (55M20)

Cites Work

• The axiom of choice
• Title not available (Why is that?)
• Title not available (Why is that?)
• A proof of the Mazur-Orlicz theorem via the Markov-Kakutani common fixed point theorem, and vice versa
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a theorem of Mazur and Orlicz
• Cellular automata and groups
• The independence of the axiom of choice from the Boolean prime ideal theorem
• Title not available (Why is that?)
• Two fixed-point theorems concerning bicompact convex sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Two applications of the method of construction by ultrapowers to analysis
• Independence of the prime ideal theorem from the Hahn Banach theorem
• The Hahn-Banach theorem implies the existence of a non-Lebesgue measurable set
• Sur un théorème de Day, un théorème de Mazur-Orlicz et une généralisation de quelques théorèmes de Silverman
• Set theory and the analyst
• A proof of the Markov-Kakutani fixed point theorem via the Hahn-Banach theorem

This page was built for publication: On the equivalence in ZF+BPI of the Hahn-Banach theorem and three classical theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6150802)