Publications > Preprint server > Preprint Number 2315
Preprint Number 2315
2315. Predrag Tanović Vaught's conjecture for theories of discretely ordered structures E-mail: Submission date: 27 December 2022 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. Mathematics Subject Classification: 03C15 (Primary), 03C45 (Secondary) Keywords and phrases: |
Last updated: December 31 2022 18:55 | Please send your corrections to: |