More minimal non--scattered linear orders
arXiv:2312.17062
Abstract
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 .
22 pages, comments are welcome