A model with Suslin trees but no minimal uncountable linear orders other than $\omega_1$ and $-\omega_1$

Autor:	Soukup, Dániel T.
Rok vydání:	2018
Předmět:	Mathematics - Logic 03E35 03E04 06A05
Druh dokumentu:	Working Paper
Popis:	We show that the existence of a Suslin tree does not necessarily imply that there are uncountable minimal linear orders other than $\omega_1$ and $-\omega_1$, answering a question of J. Baumgartner. This is done by a Jensen-type iteration, proving that one can force CH together with a restricted form of ladder system uniformization on trees, all while preserving a rigid Suslin tree. Comment: 19 pages, 4 figures, first public version. Comments are very welcome. +minor corrections
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1803.03583 Zobrazit plný text záznamu View this record from Arxiv