Literatur
Diller, J., Nahm, W.: Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen. Arch. math. Logik16, 49–66 (1974).
Diller,J., Vogel, H.: Intensionale Funktionalinterpretation der Analysis. LNM 500, 56–72.
Ershov, Y.L.: Computable functionals of finite types. Algebra i Logika, Vol.11, Nr. 4 (1972), 203–243 engl., 367–438 russ.
Ershov, Y.L.: Everywhere defined continuous functionals. Ibidem, Vol.11, Nr. 6 (1972), 363–369 engl., 656–666 russ.
Ershov, Y.L.: Maximal and everywhere defined functionals. Ibidem, Vol.13, Nr. 4 (1974), 210–225 engl., 374–397 russ.
Howard, W.A.: Assignement of ordinals to terms for primitive recursive functionals of finite type. Intuitionism and Proof Theorie Amsterdam 1970, 443–458.
Hyland, M.: Recursion theory on the countable functionals. Thesis, Oxford 1975.
Kleene, S.C.: Countable functionals in constructivity in mathematics, pp. 81–100. Ed. A. Heyting. Amsterdam 1959.
Kreisel,G.: Interpretation of analysis by means of constructive functionals of finitetypes. Ibidem, S. 101–128.
Kreisel, G., Troelstra, A.S.: Formal systems of intuitionistic analysis. Ann. math. Logic1, 229–387 (1970).
Scarpellini, B.: A model for bar-recursion of higher types. Compositio Math.23, 123–153 (1971).
Schütte, K.: Proof Theory, Springer 1977
Troelstra, A.S.: LNM 344.
Vogel,H.: Limesstetige Funktionale und Ordinalzahlen. Münster, 1975.
Vogel, H.: Partielle abzählbare und endliche Funktionale Algebra i Logika, 16 (1977), 109–119
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Vogel, H. Eine beweistheoretische Anwendung partieller stetiger Funktionale. Arch math Logik 19, 65–78 (1978). https://doi.org/10.1007/BF02011868
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02011868