Skip to main content
Log in

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

Access this article

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. Springer, Berlin, Heidelberg, New York (1975).

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  4. Friedman, H.: Set theoretic foundations for constructive analysis. Annals of Mathematics (1977).

  5. Jäger, G.: Beweistheoretische Untersuchung eines Teilsystems der Mengenlehre. Diplomarbeit, München (1977).

    Google Scholar 

  6. Schütte, K.: Proof Theory. Springer, Berlin, Heidelberg, New York (1977).

    Google Scholar 

  7. Tait, W.W.: Normal derivability in classical logic. The Syntax and Semantics of Infinitary Languages. Springer Lectures Notes in Math. 72 (1968).

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jäger, G. Beweistheorie vonKPN . Arch math Logik 20, 53–63 (1980). https://doi.org/10.1007/BF02011138

Download citation

  • Received:

  • Issue Date:

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

Navigation