Pages that link to "Item:Q1820779"

The following pages link to Which set existence axioms are needed to prove the separable Hahn-Banach theorem? (Q1820779):

Displaying 24 items.

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