scientific article; zbMATH DE number 841090

MaRDI QIDQ4863246zbMATH OpenFDO

Authors Michael E. Mytilinaios, Theodore A. Slaman

Publication date 22 April 1996

zbMATH Keywords

Baire Category TheoremBaire spaceOpen Mapping TheoremRamsey's TheoremRCA\(_ 0\)recursive comprehension axiomsubsystem of second-order arithmetic

Mathematics Subject Classification ID

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

Recommendations

• The Baire category theorem in weak subsystems of second-order arithmetic
• scientific article; zbMATH DE number 2236631
• Baire categoricity and \(\Sigma_1^0\)-induction
• scientific article; zbMATH DE number 3924748
• Some More Conservation Results on the Baire Category Theorem

Cited in

(8)

• On the uniform computational content of the Baire category theorem
• On the strength of Ramsey's theorem
• Baire categoricity and \(\Sigma_1^0\)-induction
• The Baire category theorem in weak subsystems of second-order arithmetic
• Some More Conservation Results on the Baire Category Theorem
• Brown's lemma in second-order arithmetic
• On an article by R. Brown
• Big in reverse mathematics: measure and category

This page was built for publication:

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