Literatur
Gale, D., Stewart, F.M.: Infinite games with perfect information, contributions to the theory of games 2. Ann. Math. Studies28, 245–266 (1953).
Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunkts. Dialectica12, 280–287 (1958).
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–358 (1966).
Luckhardt, H.: Extensional Gödel functional interpretation. A consistency proof of classical analysis. Lecture Notes in Mathematics, Vol. 306. Berlin, Heidelberg, New York: Springer 1973.
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–256. Berlin, Heidelberg, New York: Springer 1975.
Luckhardt, H.: The real elements in a consistency proof for simple type theory. II. Bisher unpubliziert.
Moschovakis, Y.N.: Descriptive set theory. Studies in Logic and the Foundations of Mathematics 100. Amsterdam 1980.
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–27 (1962).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Friedrich, W. Spielquantorinterpretation unstetiger Funktionale der höheren Analysis. Arch math Logik 24, 73–99 (1984). https://doi.org/10.1007/BF02007142
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02007142