arXiv Analytics

Sign in

arXiv:2212.13605 [math.LO]AbstractReferencesReviewsResources

Vaught's conjecture for theories of discretely ordered structures

Predrag Tanović

Published 2022-12-27Version 1

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$.

Categories: math.LO
Subjects: 03C15, 03C45
Related articles: Most relevant | Search more
arXiv:1811.07210 [math.LO] (Published 2018-11-17, updated 2018-12-06)
Vaught's Conjecture for Monomorphic Theories
arXiv:1602.03209 [math.LO] (Published 2016-02-09)
The quandary of quandles: The Borel completeness of a knot invariant
arXiv:1304.0883 [math.LO] (Published 2013-04-03)
An instance of Vaught's conjecture using algebraic logic

Links

Toolbox