{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T14:14:30Z","timestamp":1693491270241},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1984,12,1]],"date-time":"1984-12-01T00:00:00Z","timestamp":470707200000},"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":[[1984,12]]},"DOI":"10.1007\/bf02007142","type":"journal-article","created":{"date-parts":[[2005,8,4]],"date-time":"2005-08-04T22:26:22Z","timestamp":1123194382000},"page":"73-99","source":"Crossref","is-referenced-by-count":2,"title":["Spielquantorinterpretation unstetiger Funktionale der h\u00f6heren Analysis"],"prefix":"10.1007","volume":"24","author":[{"given":"Wolfgang","family":"Friedrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02007142_CR1","first-page":"245","volume":"28","author":"D. Gale","year":"1953","unstructured":"Gale, D., Stewart, F.M.: Infinite games with perfect information, contributions to the theory of games 2. Ann. Math. Studies28, 245\u2013266 (1953).","journal-title":"Ann. Math. Studies"},{"key":"BF02007142_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 Standpunkts. Dialectica12, 280\u2013287 (1958).","journal-title":"Dialectica"},{"key":"BF02007142_CR3","doi-asserted-by":"crossref","first-page":"325","DOI":"10.2307\/2270450","volume":"31","author":"W.A. Howard","year":"1966","unstructured":"Howard, W.A., Kreisel, G.: Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis. J. Symb. Logic31, 325\u2013358 (1966).","journal-title":"J. Symb. Logic"},{"key":"BF02007142_CR4","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0060871","volume-title":"Extensional G\u00f6del functional interpretation. A consistency proof of classical analysis","author":"H. Luckhardt","year":"1973","unstructured":"Luckhardt, H.: Extensional G\u00f6del functional interpretation. A consistency proof of classical analysis. Lecture Notes in Mathematics, Vol. 306. Berlin, Heidelberg, New York: Springer 1973."},{"key":"BF02007142_CR5","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BFb0079554","volume-title":"The real elements in a consistency proof for simple type theory. saI. Proof theory symposion Kiel 1974","author":"H. Luckhardt","year":"1975","unstructured":"Luckhardt, H.: The real elements in a consistency proof for simple type theory. saI. Proof theory symposion Kiel 1974. Lecture Notes in Mathematics, Vol. 500, pp. 233\u2013256. Berlin, Heidelberg, New York: Springer 1975."},{"key":"BF02007142_CR6","unstructured":"Luckhardt, H.: The real elements in a consistency proof for simple type theory. II. Bisher unpubliziert."},{"key":"BF02007142_CR7","unstructured":"Moschovakis, Y.N.: Descriptive set theory. Studies in Logic and the Foundations of Mathematics 100. Amsterdam 1980."},{"key":"BF02007142_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/pspum\/005\/0154801","volume":"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. Proc. Symp. Pure Math. AMSV, 1\u201327 (1962).","journal-title":"Proc. Symp. Pure Math. AMS"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007142.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007142\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T11:26:49Z","timestamp":1557833209000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,12]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1984,12]]}},"alternative-id":["BF02007142"],"URL":"https:\/\/doi.org\/10.1007\/bf02007142","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,12]]}}}