1. Which set existence axioms are needed to prove the separable Hahn-Banach theorem?;Brown;Ann. Pure Appl. Logic,1986
2. Some systems of second order arithmetic and their use;Friedman,1975
3. Friedman's research on subsystems of second order arithmetic;Simpson,1985
4. S.G. Simpson, Subsystems of Second Order Arithmetic, in preparation.
5. Riesz representation theorem, Borel measures and subsystems of second order arithmetic;Yu;Ann. Pure Appl. Logic,1993