Ein Bezeichnungssystem für Ordinalzahlen.
Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik.
Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen.
Ein intuitionistischer Beweis für den Graphensatz von D. Koenig
Ein neues Axiomensystem für Boolesche Verbände.
Ein Satz über reproduktive Lösungen.
Ein starker Normalisationssatz für die bar-rekursiven Funktionale.
Ein starker Normalisationssatz für die intuitionistische Typentheorie.
Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.
Ein Vollständigkeitsbeweis für schnittfreie Kalküle mit der Maximalisierungsmethode von Henkin.
Eine algebraische Konstruktion abzählbarer Modelle.
Eine axiomatische Mengenlehre mit größtem Universum und Hyperklassen.
Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser.
Eine beweistheoretische Anwendung partieller stetiger Funktionale.
Eine Erweiterung der NGB-Mengenlehre als Grundlage der Kategorientheorie
Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.
Eine Funktionalinterpretation der prädikativen Analysis.
Eine Logik vager Sätze.
Eine Note zum System PC.