Hostname: page-component-848d4c4894-xm8r8 Total loading time: 0 Render date: 2024-07-06T11:44:51.212Z Has data issue: false hasContentIssue false

SUSLIN TREE PRESERVATION AND CLUB ISOMORPHISMS

Part of: Set theory

Published online by Cambridge University Press:  22 December 2022

JOHN KRUEGER*
Affiliation:
DEPARTMENT OF MATHEMATICS UNIVERSITY OF NORTH TEXAS 1155 UNION CIRCLE #311430 DENTON, TX 76203, USA
*

Abstract

We construct a model of set theory in which there exists a Suslin tree and satisfies that any two normal Aronszajn trees, neither of which contains a Suslin subtree, are club isomorphic. We also show that if S is a free normal Suslin tree, then for any positive integer n there is a c.c.c. forcing extension in which S is n-free but all of its derived trees of dimension greater than n are special.

Type
Article
Copyright
© The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Abraham, U. and Shelah, S., Isomorphism types of Aronszajn trees . Israel Journal of Mathematics , vol. 50 (1985), nos. 1–2, pp. 75113.CrossRefGoogle Scholar
Abraham, U. and Shelah, S., A ${\varDelta}_2^2$ -well order of the reals and incompactness of $L({Q}^{MM})$ . Annals of Pure and Applied Logic , vol. 59 (1993), no. 1, pp. 132.CrossRefGoogle Scholar
Baumgartner, J., Results and independence proofs in combinatorial set theory , Ph.D. thesis, University of California Berkeley, 1970.Google Scholar
Devlin, K. and Johnsbråten, H., The Souslin Problem , Lecture Notes in Mathematics, vol. 405, Springer, Berlin–New York, 1974.CrossRefGoogle Scholar
Lindström, I., Degrees of Souslin and Aronszajn trees . Zeitschrift für mathematische Logik und Grundlagen der Mathematik , vol. 33 (1987), no. 2, pp. 159170.CrossRefGoogle Scholar
Miyamoto, T., ${\omega}_1$ -Souslin trees under countable support iterations . Fundamenta Mathematicae , vol. 142 (1993), no. 3, pp. 257261.CrossRefGoogle Scholar
Scharfenberger-Fabian, G., Optimal matrices of partitions and an application to Souslin trees . Fundamenta Mathematicae , vol. 210 (2010), no. 2, pp. 111131.CrossRefGoogle Scholar
Shelah, S., Proper and Improper Forcing , second ed., Perspectives in Mathematical Logic, Springer, Berlin, 1998.CrossRefGoogle Scholar
Todorcevic, S., Forcing with a coherent Souslin tree. Preprint.Google Scholar