Which set existence axioms are needed to prove the separable Hahn-Banach theorem?

DOI10.1016/0168-0072(86)90066-7zbMath0615.03044OpenAlexW2087408122WikidataQ56049305 ScholiaQ56049305MaRDI QIDQ1820779

Douglas K. Brown, Stephen G. Simpson

Publication date: 1986

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90066-7

zbMATH Keywords

reverse mathematicsweak König's lemmaarithmetical comprehension axiomHahn-Banach theorem for separable Banach spacesweak subsystems of second order arithmetic

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (25)

Separation and Weak König's Lemma ⋮ Ordered Groups: A Case Study in Reverse Mathematics ⋮ Periodic points and subsystems of second-order arithmetic ⋮ A note on ordinal numbers and rings of formal power series ⋮ A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle ⋮ The role of parameters in bar rule and bar induction ⋮ Measure theory and weak König's lemma ⋮ A game-theoretic equivalence to the Hahn-Banach theorem ⋮ Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 ⋮ A study of singular points and supports of measures in reverse mathematics ⋮ Derived sequences and reverse mathematics ⋮ Primitive recursive reverse mathematics ⋮ Two kinds of fixed point theorems and reverse mathematics ⋮ Classical predicative logic-enriched type theories ⋮ Weak comparability of well orderings and reverse mathematics ⋮ Fixed point theory in weak second-order arithmetic ⋮ Reverse mathematics and homeomorphic embeddings ⋮ Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation ⋮ How Incomputable is the Separable Hahn-Banach Theorem? ⋮ Riesz representation theorem, Borel measures and subsystems of second- order arithmetic ⋮ A non-standard construction of Haar measure and weak König's lemma ⋮ On the independence of core-equivalence results from Zermelo-Fraenkel set theory ⋮ The Baire category theorem in weak subsystems of second-order arithmetic ⋮ Embeddings of countable closed sets and reverse mathematics ⋮ The constructive Hilbert program and the limits of Martin-Löf type theory

Cites Work

• Fragments of arithmetic
• Countable algebra and set existence axioms
• Expansions of models and turing degrees
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• 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: Which set existence axioms are needed to prove the separable Hahn-Banach theorem?