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 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}…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.03155
curl -X POST /api/v1/records/arxiv/2601.03155/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.03155/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'