Please use this identifier to cite or link to this item:
|Title:||The jump of a Σn-cut||Authors:||Chong, C.T.
|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.