![]() | ![]() |
2002 | ||
---|---|---|
2 | EE | 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] |