On Weak Markov’s Principle (2001)

by RS-01-51 Ulrich Kohlenbach