-
85Equational Logic and Equational Theories of AlgebrasJournal of Symbolic Logic 36 (1): 161-162. 1971.
-
61Ein Wohlordnungsbeweis für das OrdinalzahlensystemT(J)Archive for Mathematical Logic 27 (1): 5-20. 1988.A recursive notation system of a strong segment of ordinals was developped by Jäger [3]. An unessential modified versionT(J) of this notation system was described in [4]. In the following, the well-ordering ofT(J) is proved in a formal system of second order arithmetic with the axiom schema ofΠ 2 1 -comprehension. It follows, that the proof theoretical ordinal ofΠ 2 1 -analysis is greater than the order type ofT(J)
-
88Takakazu Simauti. A note on the construction of ordinal numbers. Commentarii mathematici Universitatis Sancti Pauli, Bd. 12 , S. 37–39Journal of Symbolic Logic 32 (3): 396. 1967.
-
126
-
63
-
92W. W. Tait. The substitution method. The journal of symbolic logic, Bd. 30 , S. 175–192Journal of Symbolic Logic 38 (4): 660. 1973.
-
115Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410Journal of Symbolic Logic 39 (3): 607-607. 1974.
-
110Paul Bernays. Vorwort. Abhandlungen zur Philosophie der Mathematik, von Paul Bernays, Wissenschaftliche Buchgesellschaft, Darmstadt1976, S. VII–XJournal of Symbolic Logic 43 (1): 147. 1978.
-
78Paul Bernays. Probleme der theoretischen Logik. Neudruck von 2877. Ebd., S. 1–16Journal of Symbolic Logic 43 (1): 147-153. 1978.
-
77Becker Oskar. Einführung in die Logistik, vorzüglich in den Modalkalkül. Westkulturverlag Anton Hain, Meisenheim am Glan 1951, 92 S (review)Journal of Symbolic Logic 17 (1): 59-60. 1952.
-
119Lorenzen Paul. Über das Prinzip “ex falso quodlibet.” Methodos, Bd. 3 , S. 43–46Journal of Symbolic Logic 19 (4): 298-298. 1954.
-
85Review: Gerhard Gentzen, The Collected Papers of Gerhard Gentzen (review)Journal of Symbolic Logic 37 (4): 752-753. 1972.
-
104Müller G. H.. Über die unendliche Induktion. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 75–95Journal of Symbolic Logic 40 (4): 627-627. 1975.
