Scattered subsets of \(\mathbb{Q}\) (Q1803665)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Scattered subsets of \(\mathbb{Q}\) |
scientific article |
Statements
Scattered subsets of \(\mathbb{Q}\) (English)
0 references
29 June 1993
0 references
A linear order is said to be scattered if it has no subset which is order-isomorphic to the set \(\mathbb{Q}\) of rational numbers. If \(A\), \(B\) are scattered subsets of \(\mathbb{Q}\), the author defines \(A\leq B\) if there is some order automorphism \(\varphi\) of \(\mathbb{Q}\) such that \(\varphi(A)\subseteq B\). Then it is proved that the scattered subsets of \(\mathbb{Q}\) form a better quasi-order under the above relation \(\leq\) (embeddability via order automorphisms). This result corresponds to the famous theorem of \textit{R. Laver} [Ann. Math., II. Ser. 93, 89-111 (1971; Zbl 0208.289)] that the scattered orderings form a better quasi-order under embeddability.
0 references
Laver's theorem
0 references
scattered linear order
0 references
better quasi-order
0 references
embeddability
0 references