{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T11:29:55Z","timestamp":1777548595566,"version":"3.51.4"},"reference-count":21,"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":10146,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1986,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We give a new elementary proof of the comparison theorem relating <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481200031224_inline1.png\"\/> and <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481200031224_inline2.png\"\/>; the proof does not use Skolem theories.<\/jats:p><jats:p>By the same method we prove:<\/jats:p><jats:p>a) <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481200031224_inline3.png\"\/>, for suitable classes of sentences;<\/jats:p><jats:p>b) <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481200031224_inline4.png\"\/> proves the consistency of <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481200031224_inline5.png\"\/>, for finite <jats:italic>k<\/jats:italic>, and hence is stronger than <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"png\" xlink:href=\"S0022481200031224_inline1.png\"\/>.<\/jats:p><jats:p>a) and b) answer a question of Feferman and Sieg.<\/jats:p>","DOI":"10.2307\/2274059","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:17:35Z","timestamp":1146953855000},"page":"360-373","source":"Crossref","is-referenced-by-count":16,"title":["On the relation between choice and comprehension principles in second order arithmetic"],"prefix":"10.1017","volume":"51","author":[{"given":"Andrea","family":"Cantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200031224_bib009","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0091895"},{"key":"S0022481200031224_bib008","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71126-1"},{"key":"S0022481200031224_bib014","volume-title":"Recursion theoretic hierarchies","author":"Hinman","year":"1977"},{"key":"S0022481200031224_bib019","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0079691"},{"key":"S0022481200031224_bib020","first-page":"475","volume-title":"Intuitionism and proof theory","author":"Tait","year":"1970"},{"key":"S0022481200031224_bib017","volume-title":"Theory of recursive functions and effective computability","author":"Rogers","year":"1967"},{"key":"S0022481200031224_bib012","first-page":"557","volume":"41","author":"Friedman","year":"1976","journal-title":"Systems of second order arithmetic. I, II"},{"key":"S0022481200031224_bib018","first-page":"868","volume-title":"Handbook of mathematical logic","author":"Schwichtenberg","year":"1977"},{"key":"S0022481200031224_bib001","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(74)90001-1"},{"key":"S0022481200031224_bib015","unstructured":"Pohlers, W. Proof theoretical analysis of IDv by the method of local predicativity, in [BFPS], pp. 262\u2013357."},{"key":"S0022481200031224_bib021","volume-title":"Recursive function theory and logic","author":"Yasuhara","year":"1971"},{"key":"S0022481200031224_bib007","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71126-1"},{"key":"S0022481200031224_bib002","volume-title":"Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies","volume":"897","author":"Buchholz","year":"1981"},{"key":"S0022481200031224_bib016","first-page":"219","volume":"34","author":"Plater","year":"1969","journal-title":"Eliminating the continuum hypothesis"},{"key":"S0022481200031224_bib010","unstructured":"Feferman, S. and Sieg, W. , Proof theoretic equivalences between classical and constructive theories of analysis, in [BFPS], pp. 79-144."},{"key":"S0022481200031224_bib013","first-page":"89","volume-title":"Logic, methodology and philosophy of science. VI","author":"Girard","year":"1982"},{"key":"S0022481200031224_bib003","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0080973"},{"key":"S0022481200031224_bib011","first-page":"435","volume-title":"Intuitionism and proof theory","author":"Friedman","year":"1970"},{"key":"S0022481200031224_bib004","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1969-0242673-X"},{"key":"S0022481200031224_bib005","unstructured":"Cantini, A. , On weak theories of sets and classes, which are based on strict -reflection, Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik (to appear)."},{"key":"S0022481200031224_bib006","first-page":"303","volume-title":"Intuitionism and proof theory","author":"Feferman","year":"1970"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200031224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T10:38:30Z","timestamp":1679481510000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200031224\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,6]]},"references-count":21,"aliases":["10.1017\/s0022481200031224"],"journal-issue":{"issue":"2","published-print":{"date-parts":[[1986,6]]}},"alternative-id":["S0022481200031224"],"URL":"https:\/\/doi.org\/10.2307\/2274059","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,6]]}}}