paper

On minimal non--scattered linear orders

arXiv:2304.03389

Abstract

The purpose of this article is to give new constructions of linear orders which are minimal with respect to being non--scattered. Specifically, we will show that Jensen's principle implies that there is a minimal Countryman line, answering a question of Baumgartner. We also produce the first consistent examples of minimal non--scattered linear orders of cardinality greater than , as given a successor cardinal , we obtain such linear orderings of cardinality with the additional property that their square is the union of -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--scattered linear orders of cardinality exist for every cardinal in Gödel'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 of Mitchell order .

30 pages. Updated to include referees suggestions and to correct some typos; changes are minor