Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2315

Preprint Number 2315

Previous Next Preprint server

2315. Predrag Tanović
Vaught's conjecture for theories of discretely ordered structures

Submission date: 27 December 2022


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.

Mathematics Subject Classification: 03C15 (Primary), 03C45 (Secondary)

Keywords and phrases:

Full text arXiv 2212.13605: pdf, ps).

Last updated: December 31 2022 17:55 Please send your corrections to: