On minimal non--scattered linear orders

DOI10.1016/J.AIM.2024.109540arXiv2304.03389MaRDI QIDQ6200734FDOQ6200734

James Cummings, Justin Tatch Moore, Todd Eisworth

Publication date: 25 March 2024

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: The purpose of this article is to give new constructions of linear orders which are minimal with respect to being non-$sigma$-scattered. Specifically, we will show that Jensen's principle $diamondsuit$ implies that there is a minimal Countryman line, answering a question of Baumgartner. We also produce the first consistent examples of minimal non-$sigma$-scattered linear orders of cardinality greater than $alep{h}_1$, as given a successor cardinal $kapp{a}^{+}$, we obtain such linear orderings of cardinality $kapp{a}^{+}$ with the additional property that their square is the union of $kappa$-many chains. We give two constructions: directly building such examples using forcing, and also deriving their existence from combinatorial principles. The latter approach shows that such minimal non-$sigma$-scattered linear orders of cardinality $kapp{a}^{+}$ exist for every cardinal $kappa$ in G"odel's constructible universe, and also (using work of Rinot) that examples must exist at successors of singular strong limit cardinals in the absence of inner models satisfying the existence of a measurable cardinal $mu$ of Mitchell order $m{u}^{++}$.

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

zbMATH Keywords

forcinglinear orderscatteredconstructible universeCountryman lineAronszajn

Mathematics Subject Classification ID

Consistency and independence results (03E35) Total orders (06A05) Ordered sets and their cofinalities; pcf theory (03E04) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cites Work

• Set theory. An introduction to independence proofs
• Title not available (Why is that?)
• Set Theory
• On Fraissé's order type conjecture
• Partitioning pairs of countable ordinals
• The negation of the singular cardinal hypothesis from \(o(\kappa)=\kappa ^{++}\)
• Title not available (Why is that?)
• \(\omega_1\) and \(-\omega_1\) may be the only minimal uncountable linear orders
• Proper Forcing
• Title not available (Why is that?)
• Aronszajn trees and the independence of the transfer property
• The strength of the failure of the singular cardinal hypothesis
• CHARACTERIZATION OF □_κ IN CORE MODELS
• Walks on ordinals and their characteristics
• Title not available (Why is that?)
• A new class of order types
• Isomorphism types of Aronszajn trees
• Well-quasi-ordering Aronszajn lines
• Αll $ℵ_1$-dense sets of reals can be isomorphic
• Decomposing uncountable squares to countably many chains
• A five element basis for the uncountable linear orders
• \(K\) without the measurable
• Squares with diamonds and Souslin trees with special squares
• Putting a diamond inside the square
• Reflection on the coloring and chromatic numbers
• Notes on forcing axioms
• Galvin's question on non-\( \sigma \)-well ordered linear orders
• Title not available (Why is that?)
• SQUARE WITH BUILT-IN DIAMOND-PLUS
• Uncountable strongly surjective linear orders
• A model with Suslin trees but no minimal uncountable linear orders other than \(\omega_1\) and \(- \omega_1\)
• Minimality of non-σ-scattered orders
• A NEW MINIMAL NON-σ-SCATTERED LINEAR ORDER
• There may be no minimal non-\(\sigma\)-scattered linear orders

Cited In (1)

• More minimal non-\(\sigma\)-scattered linear orders

This page was built for publication: On 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 Q6200734)