-
28Equational Logic and Equational Theories of AlgebrasJournal of Symbolic Logic 36 (1): 161-162. 1971.
-
23Ein 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)
-
23Review: Paul Lorenzen, Uber das Prinzip "ex Falso Quodlibet." (review)Journal of Symbolic Logic 19 (4): 298-298. 1954.
-
13Review: Oskar Becker, Einfuhrung in die Logistik, Vorzuglich in den Modalkalkul (review)Journal of Symbolic Logic 17 (1): 59-60. 1952.
-
2Einführung in die Logistik, Vorzüglich in den ModalkalkülJournal of Symbolic Logic 17 (1): 59-60. 1952.
-
24Shôji Maehara, Toshio Nishimura, und Setsuya Seki. Non-constructive proofs of a metamathematical theorem concerning the consistency of analysis and its extension. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 5 , S. 269–288 (review)Journal of Symbolic Logic 32 (2): 283-284. 1967.
-
13Takakazu Simauti. A note on the construction of ordinal numbers. Commentarii mathematici Universitatis Sancti Pauli, Bd. 12 , S. 37–39 (review)Journal of Symbolic Logic 32 (3): 396. 1967.
-
47
-
13W. W. Tait. The substitution method. The journal of symbolic logic, Bd. 30 , S. 175–192Journal of Symbolic Logic 38 (4): 660. 1973.
-
58Dag 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–410 (review)Journal of Symbolic Logic 39 (3): 607-607. 1974.
-
48Paul Bernays. Vorwort. Abhandlungen zur Philosophie der Mathematik, von Paul Bernays, Wissenschaftliche Buchgesellschaft, Darmstadt1976, S. VII–X (review)Journal of Symbolic Logic 43 (1): 147. 1978.
-
18Paul Bernays. Probleme der theoretischen Logik. Neudruck von 2877. Ebd., S. 1–16Journal of Symbolic Logic 43 (1): 147-153. 1978.
-
10Becker 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.
-
15Lorenzen Paul. Über das Prinzip “ex falso quodlibet.” Methodos, Bd. 3 , S. 43–46Journal of Symbolic Logic 19 (4): 298-298. 1954.
-
19Review: Paul Bernays, Uber den Platonismus in der Mathematik (review)Journal of Symbolic Logic 43 (1): 149-149. 1978.
-
11Review: G. H. Muller, Uber die Unendliche Induktion (review)Journal of Symbolic Logic 40 (4): 627-627. 1975.
-
6Zur Rolle der Sprache in Erkenntnistheoretischer HinsichtJournal of Symbolic Logic 43 (1): 151. 1978.
-
18Review: Paul Bernays, Bemerkungen zur Philosophie der Mathematik (review)Journal of Symbolic Logic 43 (1): 151-152. 1978.
-
6Review: Paul Bernays, Thesen und Bemerkungen zu den Philosophischen Fragen und zur Situation der Logisch-Mathematischen Grundlagenforschung (review)Journal of Symbolic Logic 43 (1): 149-150. 1978.
-
22Review: Paul Bernays, Betrachtungen zu Ludwig Wittgensteins "Bemerkungen uber die Grundlagen der Mathematik (review)Journal of Symbolic Logic 43 (1): 150-150. 1978.
-
5Die Schematische Korrespondenz und die Idealisierten StrukturenJournal of Symbolic Logic 43 (1): 152. 1978.
-
7Review: Paul Bernays, Zum Symposium uber die Grundlagen der Mathematik (review)Journal of Symbolic Logic 43 (1): 152-153. 1978.