This is just excellent: "The mate-in-n problem of infinite chess is decidable" jdh.hamkins.org/the-mate-in-n-… (via @mathblogging)