Interpretationen der Heyting-Arithmetik endlicher Typen

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.