Advertisement

Interpretationen der Heyting-Arithmetik endlicher Typen

  • Martin Stein
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    Diller, J., Nahm, W.: Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen. Arch. math. Logik16, 49–66 (1974).CrossRefGoogle Scholar
  2. [2]
    Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectica12, 280–287 (1958).Google Scholar
  3. [3]
    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.Google Scholar
  4. [4]
    Stein, M.: Eine Hybrid-Interpretation der Heyting-Arithmetik endlicher Typen. Münster 1975 (vervielfältigt).Google Scholar
  5. [5]
    Troelstra, A. S. (ed.): Metamathematical investigation of intuitionistic arithmetic and analysis. Berlin, Heidelberg, New York: Springer 1973.Google Scholar

Copyright information

© Verlag W. Kohlhammer 1978

Authors and Affiliations

  • Martin Stein
    • 1
  1. 1.PH Westf.-Lippe, Abt. Münster PB IV, Fach MathematikMünster

Personalised recommendations