A note on the monotone functional interpretation

DOI10.1002/malq.201110023zbMath1244.03160OpenAlexW2096805039MaRDI QIDQ3107344

Ulrich Kohlenbach

Publication date: 23 December 2011

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201110023

zbMATH Keywords

proof miningmajorizabilitymonotone functional interpretationbounded functional interpretation

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• On quantitative versions of theorems due to F. E. Browder and R. Wittmann
• Bounded functional interpretation
• On the computational content of the Bolzano-Weierstraß Principle
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Ordinal analysis of simple cases of bar recursion
• General logical metatheorems for functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

This page was built for publication: A note on the monotone functional interpretation