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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.