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

Preprint Number 2316

Previous Next Preprint server

2316. Miloš S. Kurilić
Sharp Vaught's Conjecture for Some Classes of Partial Orders

Submission date: 28 December 2022


Matatyahu Rubin has shown that a sharp version of Vaught's conjecture, I(T,ω) ∈ { 0,1, c}, holds for each complete theory of linear order T. We show that the same is true for each complete theory of partial order having a model in the minimal class of partial orders containing the class of linear orders and which is closed under finite products and finite disjoint unions. The same holds for the extension of the class of rooted trees admitting a finite monomorphic decomposition, obtained in the same way. The sharp version of Vaught's conjecture also holds for the theories of trees which are infinite disjoint unions of linear orders.

Mathematics Subject Classification: 03C15, 03C35, 06A06, 06A05

Keywords and phrases:

Full text arXiv 2212.13947: pdf, ps

Last updated: February 4 2023 21:35 Please send your corrections to: