Assuming an instance of the Brodsky-Rinot proxy principle holding at a regular uncountable cardinal , we construct -many pairwise non-embeddable minimal non--scattered linear orders of size . In particular, in Gödel’s constructible universe , 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 . At the level of , 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 .

生成讲解博客的中文版本

生成AI智能校验的中文版本