{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T11:21:59Z","timestamp":1648984919619},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1978,12,1]],"date-time":"1978-12-01T00:00:00Z","timestamp":281318400000},"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":[[1978,12]]},"DOI":"10.1007\/bf02011868","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T17:32:17Z","timestamp":1123781537000},"page":"65-78","source":"Crossref","is-referenced-by-count":0,"title":["Eine beweistheoretische Anwendung partieller stetiger Funktionale"],"prefix":"10.1007","volume":"19","author":[{"given":"H.","family":"Vogel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011868_CR1","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02025118","volume":"16","author":"J. Diller","year":"1974","unstructured":"Diller, J., Nahm, W.: Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen. Arch. math. Logik16, 49\u201366 (1974).","journal-title":"Arch. math. Logik"},{"key":"BF02011868_CR2","doi-asserted-by":"crossref","unstructured":"Diller,J., Vogel, H.: Intensionale Funktionalinterpretation der Analysis. LNM 500, 56\u201372.","DOI":"10.1007\/BFb0079547"},{"issue":"4","key":"BF02011868_CR3","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF02219096","volume":"11","author":"Y.L. Ershov","year":"1972","unstructured":"Ershov, Y.L.: Computable functionals of finite types. Algebra i Logika, Vol.11, Nr. 4 (1972), 203\u2013243 engl., 367\u2013438 russ.","journal-title":"Algebra i Logika"},{"issue":"6","key":"BF02011868_CR4","first-page":"363","volume":"11","author":"Y.L. Ershov","year":"1972","unstructured":"Ershov, Y.L.: Everywhere defined continuous functionals. Ibidem, Vol.11, Nr. 6 (1972), 363\u2013369 engl., 656\u2013666 russ.","journal-title":"Ibidem"},{"issue":"4","key":"BF02011868_CR5","first-page":"210","volume":"13","author":"Y.L. Ershov","year":"1974","unstructured":"Ershov, Y.L.: Maximal and everywhere defined functionals. Ibidem, Vol.13, Nr. 4 (1974), 210\u2013225 engl., 374\u2013397 russ.","journal-title":"Ibidem"},{"key":"BF02011868_CR6","doi-asserted-by":"crossref","unstructured":"Howard, W.A.: Assignement of ordinals to terms for primitive recursive functionals of finite type. Intuitionism and Proof Theorie Amsterdam 1970, 443\u2013458.","DOI":"10.1016\/S0049-237X(08)70770-5"},{"key":"BF02011868_CR7","unstructured":"Hyland, M.: Recursion theory on the countable functionals. Thesis, Oxford 1975."},{"key":"BF02011868_CR8","unstructured":"Kleene, S.C.: Countable functionals in constructivity in mathematics, pp. 81\u2013100. Ed. A. Heyting. Amsterdam 1959."},{"key":"BF02011868_CR9","unstructured":"Kreisel,G.: Interpretation of analysis by means of constructive functionals of finitetypes. Ibidem, S. 101\u2013128."},{"key":"BF02011868_CR10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0003-4843(70)90001-X","volume":"1","author":"G. Kreisel","year":"1970","unstructured":"Kreisel, G., Troelstra, A.S.: Formal systems of intuitionistic analysis. Ann. math. Logic1, 229\u2013387 (1970).","journal-title":"Ann. math. Logic"},{"key":"BF02011868_CR11","first-page":"123","volume":"23","author":"B. Scarpellini","year":"1971","unstructured":"Scarpellini, B.: A model for bar-recursion of higher types. Compositio Math.23, 123\u2013153 (1971).","journal-title":"Compositio Math."},{"key":"BF02011868_CR12","doi-asserted-by":"crossref","unstructured":"Sch\u00fctte, K.: Proof Theory, Springer 1977","DOI":"10.1007\/978-3-642-66473-1"},{"key":"BF02011868_CR13","unstructured":"Troelstra, A.S.: LNM 344."},{"key":"BF02011868_CR14","unstructured":"Vogel,H.: Limesstetige Funktionale und Ordinalzahlen. M\u00fcnster, 1975."},{"key":"BF02011868_CR15","unstructured":"Vogel, H.: Partielle abz\u00e4hlbare und endliche Funktionale Algebra i Logika, 16 (1977), 109\u2013119"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011868.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011868\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011868","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T22:08:32Z","timestamp":1586383712000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02011868"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,12]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1978,12]]}},"alternative-id":["BF02011868"],"URL":"https:\/\/doi.org\/10.1007\/bf02011868","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,12]]}}}