Kenneth Kunen A Ramsey Theorem in Boyer-Moore Logic. 217-235 1995 15 J. Autom. Reasoning 2 db/journals/jar/jar15.html#Kunen95