A Model of Peano Arithmetic with no Elementary End Extension. - George Mills (J. Symb. Log., 1978)

Some Bounds for the Ramsey-Paris-Harrington Numbers. - Paul Erdös; George Mills (J. Comb. Theory A, 1981)

A quintessential proof of van der Waerden's theorem on arithmetic progressions. - George Mills (Discret. Math., 1983)

Regularity in Models of Arithmetic. - George Mills; Jeff B. Paris (J. Symb. Log., 1984)

Ramsey-Paris-Harrington Numbers for Graphs. - George Mills (J. Comb. Theory A, 1985)