Metric fixed point theory and partial impredicativity

David Fernández-Duque, Paul Shafer, Henry Towsner +1

We show that the Priess-Crampe & Ribenboim fixed point theorem is provable in ${\mathsf{RCA}}_0$. Furthermore, we show that Caristi's fixed point theorem for both Baire and Borel fun…