{"id":"arxiv/2601.03155","url":"https://arxiv.org/abs/2601.03155","tags":["math.LO"],"score":0,"title":"Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition","domain":"math.LO","source":"arxiv","authors":["Miloš S. Kurilić"],"reviews":0,"subject":"math.LO","summary":"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 we write $\\sum _{\\mathbb I}{\\mathbb X}_i\\in {\\mathcal D} ({\\mathcal T})$ and call $\\sum _{\\mathbb I}{\\mathbb X}_i$ a VC-decomposition (resp. a VC$^\\sharp$-decomposition} iff ${\\mathbb X} _i$ satisfies Vaught's conjecture (VC) (resp. VC$^\\sharp$: $I({\\mathbb X}…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-06","reactions":{}}