| 2002 | ||
|---|---|---|
| 2 | Douglas K. Brown, Mariagnese Giusto, Stephen G. Simpson: Vitali's Theorem and WWKL. Arch. Math. Log. 41(2): 191-206 (2002) | |
| 1993 | ||
| 1 | Douglas K. Brown, Stephen G. Simpson: The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic. J. Symb. Log. 58(2): 557-578 (1993) | |
| 1 | Mariagnese Giusto | [2] |
| 2 | Stephen G. Simpson | [1] [2] |