Measure theory and weak König’s lemma, Archive for Mathematical Logic 30 (1990)

by Xiaokang Yu, Stephen G Simpson
Venue:Department of Mathematics, Pennsylvania State University, State College PA 16802, USA