The jump of a Σn-cut | ScholarBank@NUS

Please use this identifier to cite or link to this item: https://doi.org/10.1112/jlms/jdm016

DC Field	Value
dc.title	The jump of a Σn-cut
dc.contributor.author	Chong, C.T.
dc.contributor.author	Yang, Y.
dc.date.accessioned	2014-10-28T02:47:44Z
dc.date.available	2014-10-28T02:47:44Z
dc.date.issued	2007-06
dc.identifier.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
dc.identifier.issn	00246107
dc.identifier.uri	http://scholarbank.nus.edu.sg/handle/10635/104309
dc.description.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.
dc.source	Scopus
dc.type	Article
dc.contributor.department	MATHEMATICS
dc.description.doi	10.1112/jlms/jdm016
dc.description.sourcetitle	Journal of the London Mathematical Society
dc.description.volume	75
dc.description.issue	3
dc.description.page	690-704
dc.identifier.isiut	000249629300011
Appears in Collections:	Staff Publications

There are no files associated with this item.

Check