TY - JOUR

T1 - Two kinds of fixed point theorems and reverse mathematics

AU - Peng, Weiguang

AU - Yamazaki, Takeshi

N1 - Publisher Copyright:
© 2017 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

PY - 2017/12

Y1 - 2017/12

N2 - In this paper, we investigate the logical strength of two types of fixed point theorems in the context of reverse mathematics. One is concerned with extensions of the Banach contraction principle. Among theorems in this type, we mainly show that the Caristi fixed point theorem is equivalent to ACA over RCA0 . The other is dedicated to topological fixed point theorems such as the Brouwer fixed point theorem. We introduce some variants of the Fan-Browder fixed point theorem and the Kakutani fixed point theorem, which we call FBFP and KFP, respectively. Then we show that FBFP is equivalent to WKL and KFP is equivalent to ACA, over RCA0 . In addition, we also study the application of the Fan-Browder fixed point theorem to game systems.

AB - In this paper, we investigate the logical strength of two types of fixed point theorems in the context of reverse mathematics. One is concerned with extensions of the Banach contraction principle. Among theorems in this type, we mainly show that the Caristi fixed point theorem is equivalent to ACA over RCA0 . The other is dedicated to topological fixed point theorems such as the Brouwer fixed point theorem. We introduce some variants of the Fan-Browder fixed point theorem and the Kakutani fixed point theorem, which we call FBFP and KFP, respectively. Then we show that FBFP is equivalent to WKL and KFP is equivalent to ACA, over RCA0 . In addition, we also study the application of the Fan-Browder fixed point theorem to game systems.

UR - http://www.scopus.com/inward/record.url?scp=85036538873&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85036538873&partnerID=8YFLogxK

U2 - 10.1002/malq.201600096

DO - 10.1002/malq.201600096

M3 - Article

AN - SCOPUS:85036538873

SN - 0942-5616

VL - 63

SP - 454

EP - 461

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 5

ER -