## Abstract It is shown that if (__M__, <, β) is an oβminimal structure such that (__M__, <) is a dense total order and βΎ is a parameterβdefinable partial order on __M__, then βΎ has an extension to a definable total order.
Extending partial orders to dense linear orders
β Scribed by Theodore A. Slaman; W.Hugh Woodin
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 652 KB
- Volume
- 94
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
We show that for a fuzzy partial order R on a ΓΏnite universe , there is a ΓΏnite family of fuzzy linear orders {Li: 16i6k} such that R(x; y) = min{ L i (x; y): 16i6k} for all x and y. This generalizes a well-known result on crisp partial orders, which states that each partial order on a ΓΏnite set is
## Abstract Let βͺ―~R~ be the preorder of embeddability between countable linear orders colored with elements of Rado's partial order (a standard example of a wqo which is not a bqo). We show that βͺ―~R~ has fairly high complexity with respect to Borel reducibility (e.g. if __P__ is a Borel preorder, t