Douglas K. Brown

Vitali's Theorem and WWKL

Stephen G. Simpson, S. G. Simpson, Mariagnese Giusto, 2002, Arch. Math. Log..

The Baire category theorem in weak subsystems of second-order arithmetic

Stephen G. Simpson, S. G. Simpson, Douglas K. Brown, 1993, Journal of Symbolic Logic.