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

DOI10.1007/S00025-023-02116-WMaRDI QIDQ6150802zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 458835 (Why is no real title available?)
• scientific article; zbMATH DE number 193576 (Why is no real title available?)
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• scientific article; zbMATH DE number 1059780 (Why is no real title available?)
• scientific article; zbMATH DE number 3368622 (Why is no real title available?)
• scientific article; zbMATH DE number 3187168 (Why is no real title available?)
• scientific article; zbMATH DE number 3056356 (Why is no real title available?)
• scientific article; zbMATH DE number 3088095 (Why is no real title available?)
• A proof of the Markov-Kakutani fixed point theorem via the Hahn-Banach theorem
• A proof of the Mazur-Orlicz theorem via the Markov-Kakutani common fixed point theorem, and vice versa
• Cellular automata and groups
• Independence of the prime ideal theorem from the Hahn Banach theorem
• On a theorem of Mazur and Orlicz
• Set theory and the analyst
• 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
• The Hahn-Banach theorem implies the existence of a non-Lebesgue measurable set
• The axiom of choice
• The independence of the axiom of choice from the Boolean prime ideal theorem
• Two applications of the method of construction by ultrapowers to analysis
• Two fixed-point theorems concerning bicompact convex sets

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)