On weak Markov's principle (2002)

by Ulrich Kohlenbach
Venue:MLQ MATH. LOG. Q