No CrossRef data available.
Article contents
SUSLIN TREE PRESERVATION AND CLUB ISOMORPHISMS
Part of:
Set theory
Published online by Cambridge University Press: 22 December 2022
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.
MSC classification
- Type
- Article
- Information
- Copyright
- © The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
Abraham, U. and Shelah, S.,
Isomorphism types of Aronszajn trees
.
Israel Journal of Mathematics
, vol. 50 (1985), nos. 1–2, pp. 75–113.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. 1–32.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. 159–170.CrossRefGoogle Scholar
Miyamoto, T.,
${\omega}_1$
-Souslin trees under countable support iterations
.
Fundamenta Mathematicae
, vol. 142 (1993), no. 3, pp. 257–261.CrossRefGoogle Scholar
Scharfenberger-Fabian, G.,
Optimal matrices of partitions and an application to Souslin trees
.
Fundamenta Mathematicae
, vol. 210 (2010), no. 2, pp. 111–131.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