1. Clote, P.: Partition relations in arithmetic. Proc. 6th Latin American Symposium on Mathematical Logic. Springer LNM, Vol. 1130, p. 32–68 (1983).
2. Clote, P.: Applications of the low basis theorem in arithmetic (preprint).
3. Jockusch, C., Soare R.:Π 1 0 -classes and degrees of theories. TAMS 173 (1972), p. 33–56.
4. Kanamori, A., McAloon, K.: On Gödel incompleteness and finite combinatorics (preprint).
5. Ketonen, J., Solovay, R.: Rapidly growing Ramsey functions. Annals of Mathematics 113 (1981), p. 267–314.