Rapidly growing Ramsey functions (1981)

by J Ketonen, R Solovay
Venue:Annals of Mathematics