2000 character limit reached
Vaught's conjecture for theories of discretely ordered structures
Published 27 Dec 2022 in math.LO | (2212.13605v3)
Abstract: 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 raises the question of Borel completeness of $T$.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.