Please use this identifier to cite or link to this item: https://doi.org/10.1112/jlms/jdm016
Title: The jump of a Σn-cut
Authors: Chong, C.T. 
Yang, Y. 
Issue Date: Jun-2007
Citation: Chong, C.T., Yang, Y. (2007-06). The jump of a Σn-cut. Journal of the London Mathematical Society 75 (3) : 690-704. ScholarBank@NUS Repository. https://doi.org/10.1112/jlms/jdm016
Abstract: Let n≥1. We study the proof-theoretic strength of jump classes of the Turing degrees from the point of view of fragments of Peano arithmetic. By investigating the jump of a Σn definable cut in a model of Δn-induction, we show that over the base theory PA- + Δn-induction, the existence of a non-trivial lown Turing degree is equivalent to Σn-induction. © 2007 London Mathematical Society.
Source Title: Journal of the London Mathematical Society
URI: http://scholarbank.nus.edu.sg/handle/10635/104309
ISSN: 00246107
DOI: 10.1112/jlms/jdm016
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

5
checked on Nov 24, 2021

WEB OF SCIENCETM
Citations

5
checked on Nov 24, 2021

Page view(s)

86
checked on Nov 18, 2021

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.