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

by A. James Humphreys , Stephen G. Simpson
Venue:Journal of Symbolic Logic
Citations:5 - 2 self