2 research outputs found
Sharp Vaught's Conjecture for Some Classes of Partial Orders
Matatyahu Rubin has shown that a sharp version of Vaught's conjecture,
, holds for each complete
theory of linear order . We show that the same is true for each
complete theory of partial order having a model in the 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.Comment: 27 page