Scattered subsets of Q

DOI10.1007/BF00814407MaRDI QIDQ1803665zbMATH OpenOpenAlexFDO

Authors Alan H. Mekler

Publication date 29 June 1993

Published in Order (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00814407

zbMATH Keywords

better quasi-orderembeddabilityLaver's theoremscattered linear order

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Other classical set theory (including functions, relations, and set algebra) (03E20) Ordered groups (06F15)

Review text

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.

Recommendations

• A scattering of orders
• scientific article; zbMATH DE number 3880769
• A Partition Theorem for Scattered Order Types
• Which posets have a scattered MacNeille completion?
• Universality of embeddability relations for coloured total orders

Cites work

• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 3232673 (Why is no real title available?)
• On Fraissé's order type conjecture

Cited in

(2)

• Which posets have a scattered MacNeille completion?
• A scattering of orders

This page was built for publication: Scattered subsets of \(\mathbb{Q}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1803665)