Connected choice and the Brouwer fixed point theorem

Vasco Brattka, Stéphane Le Roux 0001, Joseph S. Miller, Arno Pauly. Connected choice and the Brouwer fixed point theorem. J. Mathematical Logic, 19(1):1950004, 2019. [doi]

Abstract

Abstract is missing.