Vaught’s Conjecture for Theories of Discretely Ordered Structures
Predrag Tanović · Notre Dame Journal of Formal Logic · 2024
Let T be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that T has continuum-many countable models. The proof is purely first order, but it raises the question of Borel completeness of T.