Separation and weak König’s lemma (1999)

by A James Humphreys, Stephen G Simpson
Venue:Journal of Symbolic Logic