Abstract
We show that the existence of a Suslin tree does not necessarily imply that there are uncountable minimal linear orders other than ω1 and −ω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.
Similar content being viewed by others
References
U. Abraham and S. Shelah, Isomorphism types of Aronszajn trees, Israel Journal of Mathematics 50 (1985), 75–113.
J. E. Baumgartner, All ℵ1 -dense sets of reals can be isomorphic, Fundamenta Mathematicae 79 (1973), 101–106.
J. E. Baumgartner, Order types of real numbers and other uncountable orderings, in Ordered Sets, NATO Advanced Study Institute. Series C: Mathematical and Physical Sciences, Vol. 83, Springer, Dordrecht, 1982, pp. 239–277.
K. J. Devlin and H. Johnsbråten, The Souslin Problem, Lecture Notes in Mathematics, Vol. 405, Springer, Berlin-New York, 1974.
K. J. Devlin and S. Shelah, A weak version of ♢ which follows from \({2^{{\aleph _0}}} < {2^{{\aleph _1}}}\), Israel Journal of Mathematics 29 (1978), 239–247.
T. Eisworth and J. Roitman, CH with no Ostaszewski spaces, Transactions of the American Mathematical Society 351 (1999), 2675–2693.
K. Kunen, Set Theory, Studies in logic and the Foundations of Mathematics, Vol. 102, North-Holland, Amsterdam, 1983.
H. Mildenberger and S. Shelah, Many countable support iterations of proper forcings preserve Souslin trees, Annals of Pure and Applied Logic 165 (2014), 573–608.
T. Miyamoto, ω 1 -Souslin trees under countable support iterations, Fundamenta Mathematicae 142 (1993), 257–261.
J. Moore, M. Hrušák and M. Džamonja, Parametrized ♢ principles, Transactions of the American Mathematical Society 356 (2004), 2281–2306.
J. T. Moore, A five element basis for the uncountable linear orders, Annals of Mathematics 163 (2006), 669–688.
J. T. Moore, ω 1 and −ω 1 may be the only minimal uncountable linear orders, Michigan Mathematical Journal 55 (2007), 437–457.
J. T. Moore, Structural analysis of Aronszajn trees, in Logic Colloquium 2005, Lecture Notes in Logic, Vol. 28, Association of Symbolic Logic, Urbana, IL, 2008, pp. 85–106.
S. Shelah, Whitehead groups may be not free, even assuming CH, I, Israel Journal of Mathematics 28 (1977), 193–204.
W. Sierpiński, Sur un probleme concernant les types de dimensions, Fundamenta Mathematicae 19 (1932), 65–71.
D. T. Soukup, Uncountable strongly surjective linear orders, Order 36 (2019), 43–64.
S. Todorcevic, Trees and linearly ordered sets, Handbook of Set-Theoretic Topology, North-Holland, Amsterdam, 1984, pp. 235–293.
S. Todorcevic, Partitioning pairs of countable ordinals, Acta Mathematica 159 (1987), 261–294.
S. Todorcevic, Walks on Ordinals and their Characteristics, Progress in Mathematics, Vol. 263, Birkhäuser, Basel, 2007.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Soukup, D.T. A model with Suslin trees but no minimal uncountable linear orders other than ω1 and −ω1. Isr. J. Math. 233, 199–224 (2019). https://doi.org/10.1007/s11856-019-1899-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-019-1899-x