This is a preview of subscription content, log in via an institution to check access.
Literatur
Barwise, J.: Admissible Sets and Structures. Springer, Berlin, Heidelberg, New York (1975).
Feferman, S.: Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis. Intuitionism and Proof Theory. North Holland, Amsterdam (1970).
Feferman, S.: Predicatively reducible systems of set theory. Set Theory II. Amer. Math. Soc., Providence, R.I. (1974).
Friedman, H.: Set theoretic foundations for constructive analysis. Annals of Mathematics (1977).
Jäger, G.: Beweistheoretische Untersuchung eines Teilsystems der Mengenlehre. Diplomarbeit, München (1977).
Schütte, K.: Proof Theory. Springer, Berlin, Heidelberg, New York (1977).
Tait, W.W.: Normal derivability in classical logic. The Syntax and Semantics of Infinitary Languages. Springer Lectures Notes in Math. 72 (1968).
Tait, W.W.: Applications of the cut-elimination theorem to some subsystems of classical analysis. Intuitionism and Proof Theory. North Holland, Amsterdam (1970).
Author information
Authors and Affiliations
Rights 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
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02011138