{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T20:01:06Z","timestamp":1649102466286},"reference-count":28,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2002,4,1]],"date-time":"2002-04-01T00:00:00Z","timestamp":1017619200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4125,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2002,4]]},"DOI":"10.1016\/s0168-0072(01)00074-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:20:24Z","timestamp":1027606824000},"page":"27-42","source":"Crossref","is-referenced-by-count":2,"title":["Logical problems of functional interpretations"],"prefix":"10.1016","volume":"114","author":[{"given":"Justus","family":"Diller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S0168-0072(01)00074-4_BIB1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0168-0072(97)00045-6","article-title":"Predicative functionals and an interpretation of ID\u0302<\u03c9","volume":"92","author":"Avigad","year":"1998","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB2","doi-asserted-by":"crossref","unstructured":"J. Avigad, S. Feferman, G\u00f6del's functional (\u201cDialectica\u201d) interpretation, Handbook of Proof Theory, North-Holland, Amsterdam, 1998, pp. 337\u2013405.","DOI":"10.1016\/S0049-237X(98)80020-7"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB3","series-title":"Admissible Sets and structures. Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","author":"Barwise","year":"1975"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB4","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1007\/s001530050167","article-title":"A Diller\u2013Nahm style functional interpretation of KP\u03c9","volume":"39","author":"Burr","year":"2000","journal-title":"Arch. Math. Logic"},{"issue":"1\u20133","key":"10.1016\/S0168-0072(01)00074-4_BIB5","first-page":"33","article-title":"Functional interpretation Aczel's constructive set theory","volume":"104","author":"Burr","year":"2000","journal-title":"Ann. Pure Appl. Logic"},{"issue":"3","key":"10.1016\/S0168-0072(01)00074-4_BIB6","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s001530050092","article-title":"A characterization of the \u03a31-definable functions of KP\u03c9+(uniformAC)","volume":"37","author":"Burr","year":"1998","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB7","first-page":"70","article-title":"Functional interpretations of Heyting's arithmetic in all finite types","volume":"27","author":"Diller","year":"1979","journal-title":"Nieuw Arch. Wiskunde, III. Ser."},{"key":"10.1016\/S0168-0072(01)00074-4_BIB8","doi-asserted-by":"crossref","unstructured":"J. Diller, H. Vogel, Intensionale Funktionalinterpretation der Analysis, \u22a8 ISILC Proof Theory Symposion (Proc. Internat. Summer Inst. and Logic Colloq., Kiel, 1974), Lecture Notes in Mathematics, Vol. 500, Springer, Berlin, 1975, pp. 56\u201372.","DOI":"10.1007\/BFb0079547"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB9","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01974150","article-title":"Simultane Rekursionen in der Theorie der Funktionale endlicher Typen","volume":"14","author":"Diller","year":"1971","journal-title":"Arch. Math. Logik Grundlagenforsch."},{"key":"10.1016\/S0168-0072(01)00074-4_BIB10","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02025118","article-title":"Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen","volume":"16","author":"Diller","year":"1974","journal-title":"Arch. Math. Logik Grundlagenforsch."},{"key":"10.1016\/S0168-0072(01)00074-4_BIB11","doi-asserted-by":"crossref","unstructured":"S. Feferman, G\u00f6del's Dialectica interpretation and its two-way stretch, Computational Logic and Proof Theory (Brno, 1993), Springer, Berlin, 1993, pp. 23\u201340.","DOI":"10.1007\/BFb0022549"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB12","unstructured":"F. Gellern, Eine klassische version der Diller\u2013Nahm-interpretation der arithmetik, Master's Thesis, University of M\u00fcnster, 1998."},{"key":"10.1016\/S0168-0072(01)00074-4_BIB13","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","article-title":"\u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes","volume":"12","author":"G\u00f6del","year":"1958","journal-title":"Dialectica"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB14","unstructured":"K. G\u00f6del, In: Collected Works. Vol. II, The Clarendon Press, Oxford University Press, New York Publications 1938\u20131974, S. Feferaman (Ed.), 1990."},{"key":"10.1016\/S0168-0072(01)00074-4_BIB15","first-page":"107","article-title":"Functional interpretation of bar induction by bar recursion","volume":"20","author":"Howard","year":"1968","journal-title":"Compositio Mathematica"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB16","doi-asserted-by":"crossref","unstructured":"R.B. Jensen, C. Karp, Primitive recursive set functions, in: S.S. Dana (Ed.), Axiomatic Set Theory, No 13, in Proc. Symp. in Pure Mathematics, American Mathematical Society, Providence, RI, pp. 143\u2013176.","DOI":"10.1090\/pspum\/013.1\/0281602"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB17","unstructured":"P. Rath, Eine verallgemeinerte Funktionalinterpretation der Heyting Arithmetik endlicher typen, Ph.D. Thesis, University of M\u00fcnster, 1978."},{"key":"10.1016\/S0168-0072(01)00074-4_BIB18","doi-asserted-by":"crossref","first-page":"954","DOI":"10.2307\/2275441","article-title":"A proof-theoretic characterization of the primitive recursive set functions","volume":"57","author":"Rathjen","year":"1992","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB19","series-title":"Proof Theory. Number 225 in Grundlehren der mathematischen Wissenchaften","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66473-1","author":"Sch\u00fctte","year":"1977"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB20","series-title":"Mathematical Logic","author":"Shoenfield","year":"1967"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB21","series-title":"Recursive Function Theorey, number 5 in Proc. of Symposia in Pure Mathematics","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/pspum\/005\/0154801","article-title":"Provably recursive functionals of analysis","author":"Spector","year":"1962"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB22","unstructured":"M. Stein, Eine hybrid-interpretation der Heyting-arithmetik endlicher typen, Master's Thesis, University of M\u00fcnster, 1974."},{"issue":"3\u20134","key":"10.1016\/S0168-0072(01)00074-4_BIB23","first-page":"175","article-title":"Interpretationen der Heyting-Arithmetik endlicher Typen","volume":"19","author":"Stein","year":"197879","journal-title":"Arch. Math. Logik Grundlag."},{"issue":"1\u20132","key":"10.1016\/S0168-0072(01)00074-4_BIB24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0003-4843(80)90018-2","article-title":"Interpretations of Heyting's arithmetic\u2014an analysis by means of a language with set symbols","volume":"19","author":"Stein","year":"1980","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB25","doi-asserted-by":"crossref","unstructured":"A.S. Troelstra, Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types, in: Proc. Second Scandinavian Logic Symp. (Oslo, 1970), Vol. 63 of Studies in Logic and the Foundations of Math., North-Holland, Amsterdam, 1971, pp. 369\u2013405.","DOI":"10.1016\/S0049-237X(08)70854-1"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB26","unstructured":"A.S. Troelstra, in: S. Feferman (Ed.), Introductory Note to 1958 and 1972. In G\u00f6del (1990), Publications 1938\u20131974, 1990, pp. xviii+407."},{"key":"10.1016\/S0168-0072(01)00074-4_BIB27","doi-asserted-by":"crossref","unstructured":"A.S. Troelstra, Realizability, Handbook of Proof Theory, North-Holland, Amsterdam, 1998, pp. 407\u2013473.","DOI":"10.1016\/S0049-237X(98)80021-9"},{"key":"10.1016\/S0168-0072(01)00074-4_BIB28","series-title":"Metamathematical investigation of intuitionistic arithmetic and analysis, No 344 in Lecture Notes in Mathematics.","author":"Troelstra","year":"1973"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007201000744?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007201000744?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T06:18:01Z","timestamp":1578550681000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007201000744"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,4]]},"references-count":28,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2002,4]]}},"alternative-id":["S0168007201000744"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(01)00074-4","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2002,4]]}}}