Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
DOI10.1007/978-3-540-77533-1zbMath1158.03002MaRDI QIDQ5450521
Publication date: 12 March 2008
Published in: Springer Monographs in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-77533-1
proof theory; nonlinear analysis; approximation theory; proof mining; functional interpretation; realizibility; proof interpretation
47H10: Fixed-point theorems
47H09: Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc.
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
41A10: Approximation by polynomials
41A52: Uniqueness of best approximation
03B30: Foundations of classical theories (including reverse mathematics)
03F10: Functionals in proof theory
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items