An Undecidable Linear Order That Is n-Decidable for All n

John Chisholm, Michael Moses. An Undecidable Linear Order That Is n-Decidable for All n. Notre Dame Journal of Formal Logic, 39(4):519-526, 1998.

Abstract

Abstract is missing.