DOI10.1112/jlms/jdm016zbMath1123.03038MaRDI QIDQ5308178
Yue Yang, Chi Tat Chong
Publication date: 27 September 2007 Published in: Journal of the London Mathematical Society (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1112/jlms/jdm016
zbMATH Keywords
induction; proof-theoretic strength; fragments of Peano arithmetic; Turing degrees; jump classes
Mathematics Subject Classification ID
03F30: First-order arithmetic and fragments
03D28: Other Turing degree structures