A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A logical analysis of the generalized Banach contractions principle
2012
Journal of Logic and Analysis
Preserved Fulltext
The generalized Banach contractions principle states that each g-contraction has a fixed point. We show that this principle is a consequence of Ramsey's theorem for pairs over, roughly, RCA 0 + Σ 0 2 -IA.
doi:10.4115/jla.2012.4.17
fatcat:rl4gnjb7fjg5jd6uj66oc72i4y