Literatur
Diller, J., Nahm, W.: Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen. Arch. math. Logik16, 49–66 (1974).
Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectica12, 280–287 (1958).
Kreisel, G.: Interpretation of analysis by means of constructive functionals of finite type. In: Heyting, A. (ed.): Constructivity in mathematics, pp. 101–128. Amsterdam: North-Holland Publ. Co., 1959.
Stein, M.: Eine Hybrid-Interpretation der Heyting-Arithmetik endlicher Typen. Münster 1975 (vervielfältigt).
Troelstra, A. S. (ed.): Metamathematical investigation of intuitionistic arithmetic and analysis. Berlin, Heidelberg, New York: Springer 1973.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Stein, M. Interpretationen der Heyting-Arithmetik endlicher Typen. Arch math Logik 19, 175–189 (1978). https://doi.org/10.1007/BF02011878
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02011878