The mate-in-n problem of infinite chess is decidable Posted on January 27, 2012 by Joel David Hamkins 15
