Vitali’s theorem and WWKL (0)

by Douglas Brown, Mariagnese Giusto, Stephen Simpson
Venue:Archive for Mathematical Logic