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

DOI10.1007/s00025-023-02116-wOpenAlexW4391225310WikidataQ129332760 ScholiaQ129332760MaRDI QIDQ6150802

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A proof of the Mazur-Orlicz theorem via the Markov-Kakutani common fixed point theorem, and vice versa
• Set theory and the analyst
• On a theorem of Mazur and Orlicz
• Cellular Automata and Groups
• 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
• Two applications of the method of construction by ultrapowers to analysis
• The Hahn-Banach theorem implies the existence of a non-Lebesgue measurable set
• The independence of the axiom of choice from the Boolean prime ideal theorem
• Independence of the prime ideal theorem from the Hahn Banach theorem
• Two fixed-point theorems concerning bicompact convex sets
• The axiom of choice

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