More minimal non-σ-scattered linear orders
Abstract
Assuming an instance of the Brodsky-Rinot proxy principle holding at a regular uncountable cardinal , we construct 2-many pairwise non-embeddable minimal non-σ-scattered linear orders of size . In particular, in G\"odel's constructible universe L, these linear orders exist for any regular uncountable cardinal that is not weakly compact. This extends a recent result of Cummings, Eisworth and Moore that takes care of all the successor cardinals of L. At the level of 1, their work answered an old question of Baumgartner by constructing from a minimal Aronszajn line that is not Souslin. Our use of the proxy principle yields the same conclusion from a weaker assumption which holds for instance in the generic extension after adding a single Cohen real to a model of CH.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.