A model with Suslin trees but no minimal uncountable linear orders other than $\omega_1$ and $-\omega_1$
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2018
- DOI:
- arXiv:
- arXiv:1803.03583
- Bibcode:
- 2018arXiv180303583S
- Keywords:
-
- Mathematics - Logic;
- 03E35;
- 03E04;
- 06A05
- E-Print:
- 19 pages, 4 figures, first public version. Comments are very welcome. +minor corrections