{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:17:39Z","timestamp":1706660259928},"reference-count":10,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2019,8,1]]},"DOI":"10.1215\/00294527-2019-0018","type":"journal-article","created":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T08:00:57Z","timestamp":1562918457000},"source":"Crossref","is-referenced-by-count":2,"title":["On Goodman Realizability"],"prefix":"10.1215","volume":"60","author":[{"given":"Emanuele","family":"Frittaion","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"7","unstructured":"[7] Kohlenbach, U., <i>Applied Proof Theory: Proof Interpretations and Their Use in Mathematics<\/i>, Springer Monographs in Mathematics, Springer, Berlin, 2008."},{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Beeson, M. J., \u201cGoodman\u2019s theorem and beyond,\u201d <i>Pacific Journal of Mathematics<\/i>, vol. 84 (1979), pp. 1\u201316.","DOI":"10.2140\/pjm.1979.84.1"},{"key":"2","unstructured":"[2] Beeson, M. J., <i>Foundations of Constructive Mathematics<\/i>, vol. 6 of <i>Ergebnisse der Mathematik und ihrer Grenzgebiete (3)<\/i>, Springer, Berlin, 1985."},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Coquand, T., \u201cAbout Goodman\u2019s theorem,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 164 (2013), pp. 437\u201342.","DOI":"10.1016\/j.apal.2012.10.007"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Goodman, N. D., \u201cThe theory of the G\u00f6del functionals,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 41 (1976), pp. 574\u201382.","DOI":"10.1017\/S0022481200051148"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Goodman, N. D., \u201cRelativized realizability in intuitionistic arithmetic of all finite types,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 43 (1978), pp. 23\u201344.","DOI":"10.2307\/2271946"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Kohlenbach, U., \u201cA note on Goodman\u2019s theorem,\u201d <i>Studia Logica<\/i>, vol. 63 (1999), pp. 1\u20135.","DOI":"10.1023\/A:1005278215757"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Renardel de Lavalette, G. R., \u201cExtended bar induction in applicative theories,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 50 (1990), pp. 139\u201389.","DOI":"10.1016\/0168-0072(90)90047-6"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Troelstra, A. S., <i>Metamathematical Investigation of Intuitionistic Arithmetic and Analysis<\/i>, vol. 344 of <i>Lecture Notes in Mathematics<\/i>, Springer, New York, 1973.","DOI":"10.1007\/BFb0066739"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] van den Berg, B., and L. van Slooten, \u201cArithmetical conservation results,\u201d <i>Indagationes Mathematicae<\/i>, vol. 29 (2017), pp. 260\u201375.","DOI":"10.1016\/j.indag.2017.07.009"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:52Z","timestamp":1706648392000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-60\/issue-3\/On-Goodman-Realizability\/10.1215\/00294527-2019-0018.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,1]]},"references-count":10,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2019,8,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0018","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2019,8,1]]}}}