{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:47:32Z","timestamp":1759146452314},"reference-count":12,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2009,1,1]]},"DOI":"10.1215\/00294527-2008-027","type":"journal-article","created":{"date-parts":[[2009,1,19]],"date-time":"2009-01-19T14:26:27Z","timestamp":1232375187000},"source":"Crossref","is-referenced-by-count":3,"title":["Factorization of the Shoenfield-like Bounded Functional Interpretation"],"prefix":"10.1215","volume":"50","author":[{"given":"Jaime","family":"Gaspar","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Ferreira, F., and P. Oliva, \"Bounded functional interpretation\", <i>Annals of Pure and Applied Logic<\/i>, vol. 135 (2005), pp. 73--112.","DOI":"10.1016\/j.apal.2004.11.001"},{"key":"4","unstructured":"[4] G\u00f6del, K., \"Zur intuitionistischen Arithmetik und Zahlentheorie\", <i>Ergebnisse eines mathematischen Kolloquiums<\/i>, vol. 4 (1933), pp. 34--38. Translation to English: ``On intuitionistic arithmetic and number theory,'' in [godelCollectedWorksI?], pp. 286--95."},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] G\u00f6del, K., \"\u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes\", <i>Dialectica<\/i>, vol. 12 (1958), pp. 280--87. Translation to English: ``On a hitherto unutilized extension of the finitary standpoint,'' in [godelCollectedWorksII?], pp. 240--51.","DOI":"10.1111\/j.1746-8361.1958.tb01464.x"},{"key":"6","unstructured":"[6] G\u00f6del, K., <i>Collected Works. Vol. I<\/i>, edited by Solomon Feferman et al., Oxford University Press, New York, 1986."},{"key":"7","unstructured":"[7] G\u00f6del, K., <i>Collected Works. Vol. II<\/i>, edited by Solomon Feferman et al., Oxford University Press, New York, 1990."},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Krivine, J.-L., \"Op\u00e9rateurs de mise en m\u00e9moire et traduction de G\u00f6del\", <i>Archive for Mathematical Logic<\/i>, vol. 30 (1990), pp. 241--67.","DOI":"10.1007\/BF01792986"},{"key":"9","unstructured":"[9] Shoenfield, J. R., <i>Mathematical Logic<\/i>, Addison-Wesley Publishing Co., Reading, 1967."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Streicher, T., and B. Reus, \"Classical logic, continuation semantics and abstract machines\", <i>Journal of Functional Programming<\/i>, vol. 8 (1998), pp. 543--72.","DOI":"10.1017\/S0956796898003141"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Streicher, T., and U. Kohlenbach, \"Shoenfield is G\u00f6del after Krivine\", <i>Mathematical Logic Quarterly<\/i>, vol. 53 (2007), pp. 176--79.","DOI":"10.1002\/malq.200610038"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Ferreira, F., \"Injecting uniformities into Peano arithmetic\", <i><i>forthcoming in<\/i> Annals of Pure and Applied Logic<\/i>.","DOI":"10.1016\/j.apal.2008.09.004"},{"key":"1","unstructured":"[1] Avigad, J., \"A variant of the double-negation translation\", <i>Carnegie Mellon Technical Report<\/i>, CMU-PHIL-179 (2006), pp. 1--3."},{"key":"12","unstructured":"[12] Troelstra, A. S., ``Introductory note to <i>1958<\/i> and <i>1972<\/i>,'' introductory note in [godelCollectedWorksII?] to [godelDialectica?], 1990, pp. 217--41."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2008-027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:13Z","timestamp":1706648233000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-50\/issue-1\/Factorization-of-the-Shoenfield-like-Bounded-Functional-Interpretation\/10.1215\/00294527-2008-027.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,1]]},"references-count":12,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2009,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2008-027","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2009,1,1]]}}}