Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
A complete theory ${\mathcal T}$ of partial order is an FLD$_1$-theory iff some (equivalently, any) of its models ${\mathbb X}$ admits a finite lexicographic decomposition ${\mathbb X} =\sum _{\mathbb I}{\mathbb X} _i$, where ${\mathbb I}$ is a finite partial order and ${\mathbb X} _i$-s are partial orders with a largest element. Then...