Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Gerhardy, Philipp - Matematisk institutt, Universitetet i Oslo
Notre Dame Journal of Formal Logic Proof Mining in Topological Dynamics
Applications of Proof Interpretations
Improved Complexity Analysis for Cut Elimination and Herbrand's Theorem
A quantitative version of Kirk's fixed point theorem for asymptotic contractions
Archive for Mathematical Logic manuscript No. (will be inserted by the editor)
van der Waerden's Theorem and Topological Dynamics Proof Mining
Notre Dame Journal of Formal Logic The Role of Quantifier Alternations in Cut
Proof Mining in Practice Philipp Gerhardy
Strongly uniform bounds from semi-constructive Philipp Gerhardy,
Proof Mining in Practice Philipp Gerhardy
Refined Complexity Analysis of Cut Elimination Philipp Gerhardy
General logical metatheorems for functional analysis Philipp Gerhardy,
Improved Complexity Analysis for Cut Elimination and Herbrand's Theorem
Refined Complexity Analysis of Cut Elimination Philipp Gerhardy
Archive for Mathematical Logic manuscript No. (will be inserted by the editor)
General logical metatheorems for functional analysis Philipp Gerhardy,
Applications of Proof Interpretations
Notre Dame Journal of Formal Logic Proof Mining in Topological Dynamics
Proof Mining in Ergodic Theory and Topological Dynamics
Introduction The Finite Convergence Principle
A quantitative version of Kirk's fixed point theorem for asymptotic contractions
Functional interpretation and modified realizability interpretation of the
van der Waerden's Theorem and Topological Dynamics Proof Mining
Proof-theoretic aspects of obtaining a constructive version of the mean
Functional interpretation and modified realizability interpretation of the
Notre Dame Journal of Formal Logic The Role of Quantifier Alternations in Cut