Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
Eine beweistheoretische Anwendung partieller stetiger Funktionale.
Eine Funktionalinterpretation der prädikativen Analysis.
Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs.
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces.
On a relationship between countable functionals and projective trees
Ordinal analysis of bar recursion of type zero
Partial countable and finite functionals.
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen.
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen.
Об одном фрагменте формализованного анализа