Por Fernando Ferreira (Universidade de Lisboa).

This talk has two parts. In the first part, we discuss how the bounded functional interpretation can be seen as a partial realization of Hilbert’s program (extending the well-known conservation result of Harvey Friedman in reverse mathematics). We give two mathematical applications of this extension. We also remark that this extension can contribute to the scholarly discussions of Hillbert’s program. In the second part, we show how the bounded functional interpretation can provide an abstract type for the real numbers. We do not know if such abstract type can be obtained when based on Gödel's dialectica interpretation.

Zoom | Meeting ID: 837 8989 1971