The Baire category theorem in weak subsystems of second-order arithmetic

DOI10.2307/2275219MaRDI QIDQ3138013zbMATH OpenOpenAlexFDO

Authors Stephen G. Simpson, Douglas K. Brown

Publication date 24 October 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275219

zbMATH Keywords

functional analysisHilbert's programweak subsystems of second-order arithmeticReverse MathematicsBaire Category theorem

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Models of arithmetic and set theory (03C62)

Recommendations

• Publication:4863246
• scientific article; zbMATH DE number 4197982
• Baire categoricity and \(\Sigma_1^0\)-induction
• Fixed point theory in weak second-order arithmetic
• scientific article; zbMATH DE number 3924748

Cites work

• scientific article; zbMATH DE number 4134040 (Why is no real title available?)
• scientific article; zbMATH DE number 3861137 (Why is no real title available?)
• scientific article; zbMATH DE number 3316918 (Why is no real title available?)
• Class groups of integral group rings
• Countable algebra and set existence axioms
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Fragments of arithmetic
• Weak comparability of well orderings and reverse mathematics
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?

Cited in

(21)

• ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
• scientific article; zbMATH DE number 841090 (Why is no real title available?)
• Borel quasi-orderings in subsystems of second-order arithmetic
• Representations and the foundations of mathematics
• Fixed point theory in weak second-order arithmetic
• scientific article; zbMATH DE number 2236631 (Why is no real title available?)
• On the strength of Ramsey's theorem
• On the uniform computational content of the Baire category theorem
• Forcing in Proof Theory
• scientific article; zbMATH DE number 1536018 (Why is no real title available?)
• The typical constructible object
• scientific article; zbMATH DE number 2236626 (Why is no real title available?)
• Baire categoricity and \(\Sigma_1^0\)-induction
• Formalizing forcing arguments in subsystems of second-order arithmetic
• Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
• Some More Conservation Results on the Baire Category Theorem
• A measure-theoretic proof of Turing incomparability
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Measure theory and weak König's lemma
• Unary Borel functions and second-order arithmetic
• Some conservation results on weak König's lemma

This page was built for publication: The Baire category theorem in weak subsystems of second-order arithmetic

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