John Chisholm Michael Moses An Undecidable Linear Order That Is n-Decidable for All n. 519-526 1998 39 Notre Dame Journal of Formal Logic 4 db/journals/ndjfl/ndjfl39.html#ChisholmM98