arXiv Open Access 2022

Vaught's conjecture for theories of discretely ordered structures

Predrag Tanović

Lihat Sumber

Abstrak

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

Topik & Kata Kunci

math.LO

Penulis (1)

Predrag Tanović

Format Sitasi

APA MLA BibTeX

Tanović, P. (2022). Vaught's conjecture for theories of discretely ordered structures. https://arxiv.org/abs/2212.13605

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2022
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓