Submission date: 28 December 2022

Abstract:

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