Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)

DOI10.1007/S00153-008-0074-6zbMath1149.03042DBLPjournals/aml/Mummert08OpenAlexW2033289159WikidataQ57951166 ScholiaQ57951166MaRDI QIDQ938231

Carl Mummert

Publication date: 18 August 2008

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-008-0074-6

zbMATH Keywords

reverse mathematicssecond-order arithmeticMedvedev reducibilityMuchnik reducibility

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes
• Measure theory and weak König's lemma
• Finite injury and Σ₁-induction
• Comparing DNR and WWKL
• ∏ 0 1 Classes and Degrees of Theories

This page was built for publication: Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)