Measure theory and weak König’s lemma (1990)

by Xiaokang Yu, Stephen G Simpson
Venue:Arch. Math. Logic