Two kinds of fixed point theorems and reverse mathematics

Weiguang Peng, Takeshi Yamazaki. Two kinds of fixed point theorems and reverse mathematics. Math. Log. Q., 63(5):454-461, 2017. [doi]

Abstract

Abstract is missing.