Skip to main content
Springer Nature Link
Log in

Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  1. Barwise, J.: Admissible Sets and Structures. Berlin, Heidelberg, New York: Springer 1975.

    Google Scholar 

  2. Buchholz, W.: Eine Erweiterung der Schnitteliminationsmethode. Habilitationsschrift, München, 1977.

    Google Scholar 

  3. Buchholz, W., Pohlers, W.: Provable wellorderings of formal theories for transfinitely iterated inductive definitions. J. Symb. Logic43, 118–125 (1978).

    MathSciNet  Google Scholar 

  4. Feferman, S.: Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis. Intuitionism and Proof Theory. Amsterdam: North-Holland 1970.

    Google Scholar 

  5. Feferman, S.: Predicatively reducible systems of set theory. Set Theory. II. Am. Math. Soc., Providence, R.I. (1974).

    Google Scholar 

  6. Friedman, H.: Set theoretic foundations for constructive analysis. Ann. Math.105, 1–28 (1977).

    MATH  Google Scholar 

  7. Jäger, G.: Beweistheorie von KPN. Arch. math. Logik20, 53–64 (1980).

    Article  MATH  Google Scholar 

  8. Kreisel, G.: Generalized inductive definitions. Stanford report on the foundations of analysis. Stanford (vervielfältigt) (1963).

  9. Pohlers, W.: Eine kanonische Interpretation von ID c1 . Vortrag in Münster (vervielfältigt) (1976).

  10. Pohlers, W.: Beweistheorie der iterierten induktiven Definitionen. Habilitationsschrift, München, 1977.

    Google Scholar 

  11. Pohlers, W.: Cut-elimination for impredicative infinitary systems. Part I. Ordinal analysis for ID1. Arch. math. Logik21, 113–129 (1981).

    Article  MATH  MathSciNet  Google Scholar 

  12. Schütte, K.: Proof theory. Berlin, Heidelberg, New York: Springer 1977.

    Google Scholar 

  13. Tait, W.W.: Normal derivability in classical logic. In: Lecture Notes in Mathematics, Vol. 72. Berlin, Heidelberg, New York: Springer 1968.

    Google Scholar 

  14. Tait, W.W.: Applications of the cut-elimination theorem to some subsystems of classical analysis. Intuitionism and Proof Theory. Amsterdam: North-Holland 1970.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematisches Institut der Universität München, Theresienstraße 39, D-8000, München 2, Bundesrepublik Deutschland

    Gerhard Jäger

Authors
  1. Gerhard Jäger
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jäger, G. Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen. Arch math Logik 22, 121–139 (1980). https://doi.org/10.1007/BF02297652

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02297652

Search

Navigation