A note on the monotone functional interpretation

作者：Kohlenbach Ulrich^*

来源：Mathematical Logic Quarterly, 2011, 57(6): 611-614.

DOI：10.1002/malq.201110023

• Monotone functional interpretation
• bounded functional interpretation
• majorizability
• proof mining

We prove a result relating the author's monotone functional interpretation to the bounded functional interpretation due to Ferreira and Oliva. More precisely we show that (over model of majorizable functionals) largely a solution for the bounded interpretation also is a solution for the monotone functional interpretation although the latter uses the existence of an underlying precise witness. This makes it possible to focus on the extraction of bounds (as in the bounded interpretation) while using the conceptual benefit of having precise realizers at the same time without having to construct them.

• 出版日期2011-12