{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T05:26:57Z","timestamp":1648531617845},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1985,12]]},"DOI":"10.1007\/bf02007566","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T12:49:28Z","timestamp":1123764568000},"page":"175-181","source":"Crossref","is-referenced-by-count":4,"title":["Strong normalization of barrecursive terms without using infinite terms"],"prefix":"10.1007","volume":"25","author":[{"given":"Marc","family":"Bezem","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02007566_CR1","doi-asserted-by":"crossref","first-page":"652","DOI":"10.2307\/2274319","volume":"50","author":"M. Bezem","year":"1985","unstructured":"Bezem, M.: Strongly majorizable functionals of finite type: a model for barrecursion containing discontinuous functionals. J. Symb. Logic50, 652\u2013660 (1985).","journal-title":"J. Symb. Logic"},{"key":"BF02007566_CR2","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","volume":"12","author":"K. G\u00f6del","year":"1958","unstructured":"G\u00f6del, K.: \u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes, Dialectica12, 280\u2013287 (1958)","journal-title":"Dialectica"},{"key":"BF02007566_CR3","doi-asserted-by":"crossref","unstructured":"Luckhardt, H.: Extensional G\u00f6del functional interpretation. Springer Lecture Notes in Mathematics 306, Berlin, Heidelberg, New York: 1973.","DOI":"10.1007\/BFb0060871"},{"key":"BF02007566_CR4","volume-title":"Proc. Symp. Pure Mathematics V","author":"C. Spector","year":"1962","unstructured":"Spector, C.: Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. In: Dekker, J.C.E. (ed.): Proc. Symp. Pure Mathematics V. American Mathematical Society, Providence, RI (1962)."},{"key":"BF02007566_CR5","volume-title":"Proceedings of the 2nd Scandinavian Logic Symposium","author":"W.W. Tait","year":"1971","unstructured":"Tait, W.W.: Normal form theorem for barrecursive functions of finite type, in: Proceedings of the 2nd Scandinavian Logic Symposium. Amsterdam: North-Holland 1971."},{"key":"BF02007566_CR6","series-title":"Springer Lecture Notes in Mathematics","volume-title":"Metamathematical investigation of intuitionistic arithmetic and analysis","year":"1973","unstructured":"Troelstra, A.S., (ed.): Metamathematical investigation of intuitionistic arithmetic and analysis. Springer Lecture Notes in Mathematics 344. Berlin, Heidelberg, New York: Springer 1973."},{"key":"BF02007566_CR7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BF02007260","volume":"18","author":"H. Vogel","year":"1976","unstructured":"Vogel, H.: Ein starker Normalisationssatz f\u00fcr die barrekursiven Funktionale. Arch. math. Logik18, 81\u201384 (1976).","journal-title":"Arch. math. Logik"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007566.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007566\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007566","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T11:29:37Z","timestamp":1557833377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007566"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF02007566"],"URL":"https:\/\/doi.org\/10.1007\/bf02007566","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}