1. Avigad, J., "Notes on $\upPi^1_1$"-conservativity, $\omega$-submodels, and collection schema, Technical Report, Carnegie Mellon Department of Philosophy, available at www.andrew.cmu.edu/user/avigad/Papers/omegasubmodels.pdf, 2002.
2. Bezem, M., "Strongly majorizable functionals of finite type: A model for bar recursion containing discontinuous functionals", The Journal of Symbolic Logic, vol. 50 (1985), pp. 652–60.
3. Bovykin, A., and A. Weiermann, "The strength of infinitary Ramseyan principles can be accessed by their densities", forthcoming in Annals of Pure and Applied Logic, logic.pdmi.ras.ru/~ andrey/research.html, 2005.
4. Cholak, P. A., C. G. Jockusch, Jr., and T. A. Slaman, "On the strength of Ramsey's theorem for pairs", The Journal of Symbolic Logic, vol. 66 (2001), pp. 1–55.
5. Chong, C., T. Slaman, and Y. Yang, "$\upPi^0_1$"-conservation of combinatorial principles weaker than Ramsey's theorem for pairs", forthcoming in Advances in Mathematics.