Vaught's conjecture for theories of discretely ordered structures
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915809911111680 |
|---|---|
| author | Tanović, Predrag |
| author_facet | Tanović, Predrag |
| contents | 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$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2212_13605 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Vaught's conjecture for theories of discretely ordered structures Tanović, Predrag Logic 03C15 (Primary), 03C45 (Secondary) 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$. |
| title | Vaught's conjecture for theories of discretely ordered structures |
| topic | Logic 03C15 (Primary), 03C45 (Secondary) |
| url | https://arxiv.org/abs/2212.13605 |