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.
Esquisses et types
Exploring the gap between linear and classical logic.
Expressions indéterminées, constructivisme et axiome du choix
Finite presentability of strongly finite dilators
Finite presentability of strongly finite dilators
In this paper, we establish the following results: (i) every strongly finite dilator is finitely presentable in the category of endofunctors on the category of ordinals; (ii) a dilator F is strongly finite if and only if F is finitely presentable in the category of dilators.