Ein Algorithmus zur automatischen Lösung konstruktiver Problemstellungen
Ein Bezeichnungssystem für Ordinalzahlen.
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 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.
Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser.
Eine beweistheoretische Anwendung partieller stetiger Funktionale.
Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.
Eine Funktionalinterpretation der prädikativen Analysis.
Eine Variante des Ordinalzahlbezeichnungssystems ... .
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen.
Einführung der Normalfunktionen ... ohne Auswahlaxiom und ohne Regularitätsbedingung.
Einstein Structures: Existence Versus Uniqueness.
Elementary interpretations of negationless arithmetic
Elementary proofs and the sums differences problem.
In this paper, we rule out the possibility that a certain method of proof in the sums differences conjecture can settle the Kakeya Conjecture.
Entropic Hopf algebras and models of non-commutative logic.
Equivalence relations induced by extensional formulae: classification by means of a new fixed point property
Ergänzung zu einer Arbeit von Hellmuth Kneser über den Fundamentalsatz der Algebra.