Measure theory and weak König's lemma

Brown, D.K., Simpson, S.G.: Which set existence axioms are needed to prove the separable Hahn-Banach theorem? Ann. Pure Appl. Logic31, 123–144 (1986)

Halmos, P.R.: Measure theory. New York: Van Nostrand 1950

Jockusch, C.G., Jr.:Π Π 1 0 classes and Boolean combinations of recursively enumerable sets. J. Symb. Logic39, 95–96 (1974)

Jockusch, C.G., Soare, R.I.:Π 1 0 classes and degrees of theories. Trans. Am. Math. Soc.173, 33–56 (1972)

Rudin, W.: Real and complex analysis. New York: McGraw-Hill 1966

Sacks, G.E.: Degrees of Unsolvability. Ann. Math. Stud.55, Princeton University Press, 1963

Simpson, S.G.: Subsystems of Second Order Arithmetic. (in preparation)

Simpson, S.G.: Subsystems of Z2 and reverse mathematics, appendix to Proof theory, second edition, by G. Takeuti. Amsterdam: North-Holland, 1986, pp. 434–448

Simpson, S.G.: Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? J. Symb. Logic49, 783–802 (1984)

Yu, X.: Measure theory in weak subsystems of second order arithmetic. Ph.D. Thesis, The Pennsylvania State University, 1987