Please use this identifier to cite or link to this item:
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.
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
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.

Google ScholarTM



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