Douglas K. Brown

Publication Activity (10 Years)

Years Active: 1986-2002
Publications (10 Years): 0

Publications

Douglas K. Brown, Mariagnese Giusto, Stephen G. Simpson
Vitali's Theorem and WWKL. Arch. Math. Log. 41 (2) (2002)
Douglas K. Brown, Stephen G. Simpson
The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic. J. Symb. Log. 58 (2) (1993)
Douglas K. Brown, Stephen G. Simpson
Which set existence axioms are needed to prove the separable Hahn-Banach theorem? Ann. Pure Appl. Log. 31 (1986)