Literatur
Gentzen, G.: Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. In: Szabo, M.E. (Hrsg.): The collected papers of Gerhard Gentzen. Amsterdam: North-Holland 1969.
Kreisel, G.: Survey of proof theory. I. J. Symb. Logic33, 321–388 (1968).
Mellis, W.: Zwei Normalisierungstheoreme für die Peano-Arithmetik 1. Stufe und verwandte Kalküle. Dissertation, Köln (1980).
Parsons, Ch.: Onn-quantifier induction. J. Symb. Logic37, 466–482 (1972)
Schütte, K.: Proof theory, 2. revidierte Aufl. (1977).
Schütte, K.: Schlußweisenkalküle der Prädikatenlogik. Math. Ann.122, 47–65 (1950).
Schwichtenberg, H.: Proof theory: some applications of cut-elimination. In: Barwise, K.J. (ed.): Handbook of Math. Logic, Amsterdam: North-Holland 1977.
Schütte, K.: Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie. Math. Ann.122, 369–389 (1950).
Tait, W.W.: Nested recursion. Math. Ann.143, 236–250 (1961).
Tait, W.W.: Functionals defined by transfinite recursion. J. Symb. Logic30, 155–174 (1965).
Author information
Authors and Affiliations
Additional information
Der Verfasser ist Professor Ewald Burger (†), Universität Köln, für ausführliche Diskussionen und freundliche Förderung zu Dank verpflichtet.
Rights and permissions
About this article
Cite this article
Mellis, W. Pa-Beweisbare ∀∃-Formeln. Arch math Logik 24, 23–48 (1984). https://doi.org/10.1007/BF02007139
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02007139