Infinite chess: the mate-in-n problem is decidable and the omega-one of chess, Cambridge, March 2012
I have just taken up a visiting fellow position at the Isaac Newton Institute for mathematical sciences in Cambridge, UK, where I am participating in the program Syntax and Semantics: the legacy o…
