{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,10,22]],"date-time":"2022-10-22T14:30:12Z","timestamp":1666449012009},"reference-count":18,"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":6493,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1996,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper is concerned with the determination of the proof-strength of the power set axiom relative to axiom systems for Feferman's explicit mathematics. As conjectured by Feferman, we obtain that the presence of the power set axiom does not increase proof-strength.<\/jats:p><jats:p>Results are achieved by reducing the systems including the power set axiom to subsystems of classical analysis. In those cases where only the induction axiom is available, we make use of the technique of asymmetrical interpretations.<\/jats:p>","DOI":"10.2307\/2275671","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:58:29Z","timestamp":1146941909000},"page":"468-489","source":"Crossref","is-referenced-by-count":5,"title":["On power set in explicit mathematics"],"prefix":"10.1017","volume":"61","author":[{"given":"Thomas","family":"Glass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200017382_ref015","volume-title":"Institut f\u00fcr Mathematische Logik und Grundlagenforschung, M\u00fcnster","author":"Rathjen","year":"1989"},{"key":"S0022481200017382_ref004","first-page":"159","volume-title":"Logic colloquium '78","volume":"97","author":"Feferman","year":"1979"},{"key":"S0022481200017382_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66473-1"},{"key":"S0022481200017382_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0091896"},{"key":"S0022481200017382_ref005","volume-title":"Annals of Pure and Applied Logic","author":"Feferman"},{"key":"S0022481200017382_ref001","first-page":"360","volume":"51","author":"Cantini","year":"1986","journal-title":"On the relation between choice and comprehension principles in second order arithmetic"},{"key":"S0022481200017382_ref018","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90019-5"},{"key":"S0022481200017382_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)00058-B"},{"key":"S0022481200017382_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/BF01278464"},{"key":"S0022481200017382_ref003","first-page":"55","volume-title":"Generalized recursion theory II","volume":"94","author":"Feferman","year":"1978"},{"key":"S0022481200017382_ref002","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0062852"},{"key":"S0022481200017382_ref017","volume-title":"Subsystems of second order arithmetic","author":"Simpson","year":"1986"},{"key":"S0022481200017382_ref008","first-page":"89","volume-title":"Logic, methodology and philosophy of science VI","author":"Girard","year":"1982"},{"key":"S0022481200017382_ref014","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-46825-7","volume-title":"Proof theory. An introduction","author":"Pohlers","year":"1989"},{"key":"S0022481200017382_ref012","volume-title":"Theories for admissible sets. A unifying approach to proof theory","volume":"2","author":"J\u00e4ger","year":"1986"},{"key":"S0022481200017382_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0091895"},{"key":"S0022481200017382_ref010","volume-title":"Annals of Pure and Applied Logic","author":"Gia\u00df"},{"key":"S0022481200017382_ref013","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0091900"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200017382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T17:28:27Z","timestamp":1557682107000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200017382\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["S0022481200017382"],"URL":"https:\/\/doi.org\/10.2307\/2275671","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}