PROOF INTERPRETATIONS AND MAJORIZABILITY
by
Fernando Ferreira
BibTeX
@MISC{Ferreira_proofinterpretations,
author = {Fernando Ferreira},
title = {PROOF INTERPRETATIONS AND MAJORIZABILITY},
year = {}
}
OpenURL
Abstract
Abstract. In the last fifteen years, the traditional proof interpretations of modified realizability and functional (dialectica) interpretation in finite-type arithmetic have been adapted by taking into account majorizability considerations. One of such adaptations, the monotone functional interpretation of Ulrich Kohlenbach, has been at the center of a vigorous program in applied proof theory dubbed proof mining. We discuss some of the traditional and majorizability interpretations, including the recent bounded interpretations, and focus on the main theoretical techniques behind proof mining. Contents







