Kohlenbach, Ulrich. 2001. “On Weak Markov’s Principle”. BRICS Report Series 8 (51). https://doi.org/10.7146/brics.v8i51.21712.