Please use this identifier to cite or link to this item: https://doi.org/10.1112/jlms/jdm016
DC FieldValue
dc.titleThe jump of a Σn-cut
dc.contributor.authorChong, C.T.
dc.contributor.authorYang, Y.
dc.date.accessioned2014-10-28T02:47:44Z
dc.date.available2014-10-28T02:47:44Z
dc.date.issued2007-06
dc.identifier.citationChong, 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
dc.identifier.issn00246107
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/104309
dc.description.abstractLet 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.
dc.sourceScopus
dc.typeArticle
dc.contributor.departmentMATHEMATICS
dc.description.doi10.1112/jlms/jdm016
dc.description.sourcetitleJournal of the London Mathematical Society
dc.description.volume75
dc.description.issue3
dc.description.page690-704
dc.identifier.isiut000249629300011
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

5
checked on Jan 15, 2022

WEB OF SCIENCETM
Citations

5
checked on Jan 7, 2022

Page view(s)

94
checked on Jan 13, 2022

Google ScholarTM

Check

Altmetric


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