{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T03:11:57Z","timestamp":1783653117572,"version":"3.55.0"},"reference-count":8,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":649,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2012,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We prove that <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200000761_inline2\"\/> by showing that for any set <jats:italic>C<\/jats:italic> not of PA-degree and any set <jats:italic>A<\/jats:italic>, there exists an infinite subset <jats:italic>G<\/jats:italic> of <jats:italic>A<\/jats:italic> or <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200000761_inline3\"\/> such that <jats:italic>G<\/jats:italic> \u2295 <jats:italic>C<\/jats:italic> is also not of PA-degree.<\/jats:p>","DOI":"10.2178\/jsl\/1333566640","type":"journal-article","created":{"date-parts":[[2012,4,4]],"date-time":"2012-04-04T15:26:53Z","timestamp":1333553213000},"page":"609-620","source":"Crossref","is-referenced-by-count":46,"title":["RT<sub>2<\/sub><sup>2<\/sup> does not imply WKL<sub>0<\/sub>"],"prefix":"10.1017","volume":"77","author":[{"given":"Jiayi","family":"Liu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200000761_ref007","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1305\/ndjfl\/1040136917","article-title":"On the strength of Ramsey's theorem","volume":"36","author":"Seetapun","year":"1995","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S0022481200000761_ref006","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-30.1.264"},{"key":"S0022481200000761_ref002","first-page":"557","volume":"74","author":"Dzhafarov","year":"2009","journal-title":"Ramsey's theorem and cone avoidance"},{"key":"S0022481200000761_ref003","first-page":"235","volume-title":"Proceedings of the International Congress of Mathematicians, Vancouver","volume":"1","author":"Friedman","year":"1975"},{"key":"S0022481200000761_ref001","first-page":"1","volume":"66","author":"Cholak","year":"2001","journal-title":"On the strength of Ramsey's theorem for pairs"},{"key":"S0022481200000761_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59971-2"},{"key":"S0022481200000761_ref004","first-page":"557","volume":"41","author":"Friedman","year":"1976","journal-title":"Systems of second order arithmetic with restricted induction, I, II"},{"key":"S0022481200000761_ref005","first-page":"268","volume":"37","author":"Jockusch","year":"1972","journal-title":"Ramsey's theorem and recursion theory"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200000761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T16:47:04Z","timestamp":1556210824000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200000761\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["S0022481200000761"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1333566640","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}