There may be no minimal non--scattered linear orders

DOI10.4310/MRL.2018.V25.N6.A13MaRDI QIDQ2424329zbMATH OpenFDO

Authors Hossein Lamei Ramandi, Justin Tatch Moore

Publication date 24 June 2019

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.05661

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Generic absoluteness and forcing axioms (03E57) Total orders (06A05)

Abstract: In this paper we demonstrate that it is consistent, relative to the existence of a supercompact cardinal, that there is no linear order which is minimal with respect to being non $sigma$-scattered. This shows that a theorem of Laver, which asserts that the class of $sigma$-scattered linear orders is well quasi-ordered, is sharp. We also prove that PFA${}^{+}$ implies that every non $sigma$-scattered linear order either contains a real type, an Aronszajn type, or a ladder system indexed by a stationary subset of $omeg{a}_1$, equipped with either the lexicographic or reverse lexicographic order. Our work immediately implies that CH is consistent with "no Aronszajn tree has a base of cardinality $alep{h}_1$." This gives an affirmative answer to a problem due to Baumgartner.

Recommendations

• A new minimal non--scattered linear order
• Minimality of non-σ-scattered orders
• A universal Aronszajn line
• A model with Suslin trees but no minimal uncountable linear orders other than \(\omega_1\) and \(- \omega_1\)
• Bounding the consistency strength of a five element linear basis

Cited in

(10)

• \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders
• A scattering of orders
• Minimality of non-σ-scattered orders
• A new minimal non--scattered linear order
• A minimal Kurepa tree with respect to club embeddings
• On minimal non--scattered linear orders
• The P-ideal dichotomy, Martin's axiom and entangled sets
• More minimal non-\(\sigma\)-scattered linear orders
• Construction schemes: transferring structures from to _1
• Bounding the consistency strength of a five element linear basis

This page was built for publication: There may be no minimal non-\(\sigma\)-scattered linear orders

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