A proof theoretical fine structure in systems of ramified analysis.
Application de la généralisation du principe de correspondance à la théorie de l'élimination
Approximation theory of uniqueness conditions by existence conditions
Beweistheorie von KPN.
Completeness of a cut-free calculus with equality and function constants.
Completeness properties of classical theories of finite type and the normal form theorem [Book]
Connections between cuts and maximum segments
Consistency proof without transfinite induction for a formal system for turing machines.
Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.
Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.
Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen.
Entropic Hopf algebras and models of non-commutative logic.
Finite sum-product logic.
Functorial bounds for cut elimination in L... .I.
Functorial bounds for cut elimination in L.. .II.
Further applications of ultra-conservative ...-rules.
Geometrické upotřebení některých pouček o determinantech. [I.]
Geometrické upotřebení některých pouček o determinantechGeometric application of some theorems on determinants. [II.]
Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs.
Maximum Cuts in Extended Natural Deduction