Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ulrich Kohlenbach

A Note on the Monotone Functional Interpretation

Mathematical Logic Quarterly
Logic
2011English

Effective Bounds From Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization

Journal of Symbolic Logic
PhilosophyLogic
1992English

New Effective Moduli of Uniqueness and Uniform a Priori Estimates for Constants of Strong Unicity by Logical Analysis of Known Proofs in Best Approximation Theory

Numerical Functional Analysis and Optimization
ControlComputer Science ApplicationsSignal ProcessingAnalysisOptimization
1993English

Proof Theory and Computational Analysis

BRICS Report Series
1997English

On the Uniform Weak König’s Lemma

BRICS Report Series
1999English

Things That Can and Things That Can’t Be Done in PRA

BRICS Report Series
1998English

The Use of a Logical Principle of Uniform Boundedness in Analysis

1999English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy