pith. machine review for the scientific record. sign in

arxiv: 1803.03583 · v2 · submitted 2018-03-09 · 🧮 math.LO

Recognition: unknown

A model with Suslin trees but no minimal uncountable linear orders other than ω₁ and -ω₁

Authors on Pith no claims yet
Pith Number pith:GYT5ZICP state: computed view record JSON
0 claims · 0 references · 0 theorem links. This is the computed registry record for this paper; it is not author-attested yet.
classification 🧮 math.LO
keywords omegasuslinlinearminimalordersothertreetrees
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.