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

DOI10.2307/2275219zbMATH Open0794.03085OpenAlexW2055394931MaRDI QIDQ3138013FDOQ3138013

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

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

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)

Cites Work

• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Weak comparability of well orderings and reverse mathematics
• Countable algebra and set existence axioms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fragments of arithmetic
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Title not available (Why is that?)
• Class groups of integral group rings

Cited In (21)

• ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
• Title not available (Why is that?)
• Borel quasi-orderings in subsystems of second-order arithmetic
• Representations and the foundations of mathematics
• Title not available (Why is that?)
• Fixed point theory in weak second-order arithmetic
• On the strength of Ramsey's theorem
• On the uniform computational content of the Baire category theorem
• Forcing in Proof Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• The typical constructible object
• 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)