Fixed point theory in weak second-order arithmetic (Q922541)

The paper is devoted to the study of fixed points in weak subsystems of second-order arithmetic RCA\({}_ 0\) and WKL\({}_ 0\). It is shown that Brouwer's theorem (asserting that every nonempty compact convex closed set C in \({\mathbb{R}}^ n\) has the fixed point property, provided that C is expressed as the completion of a countable subset of \({\mathbb{Q}}^ n)\) can be proved within \(WKL_ 0\) (indeed within \(RCA_ 0)\). Brouwer's theorem is then extended to its infinite dimensional analogue (in \(RCA_ 0)\). As an application the Cauchy-Peano theorem for ordinary differential equations is proved within \(WKL_ 0\), the Markov-Kukutani theorem asserting the existence of a common fixed point for certain families of affine mappings is proved within \(RCA_ 0\) and the Hahn-Banach theorem is proved within \(WKL_ 0\).