1. On the role of the collection principle for Σ20 formulas in second-order reverse mathematics;Chong;Proc. Amer. Math. Soc.,2010
2. Partition relations in arithmetic;Clote,1985
3. F. Dorais, S. Harris, Evasion, prediction, and graph colorings, in preparation.
4. Z. Evans, Dartmouth College, Ph.D. thesis, in preparation.
5. H. Friedman, unpublished.