Abstract
It is relatively consistent with the existence of two supercompact cardinals that a special Aronszajn tree of height \({\aleph_{\omega_1+1}}\) is introduced by a cofinality-preserving forcing of size \({\aleph_3}\).
Similar content being viewed by others
References
Baumgartner J.E.: A new class of order types. Ann. Math. Logic 9(3), 187–222 (1976)
Baumgartner J.E., Harrington L.A., Kleinberg E.M.: Adding a closed unbounded set. J. Symb. Log. 41(2), 481–482 (1976)
Cummings, J.: Large cardinal properties of small cardinals. In: Set Theory (Curaçao, 1995; Barcelona, 1996), pp. 23–39. Kluwer, Dordrecht (1998)
Cummings J., Foreman M., Magidor M.: Squares, scales and stationary reflection. J. Math. Log. 1(1), 35–98 (2001)
Foreman M., Magidor M.: A very weak square principle. J. Symb. Log. 62(1), 175–196 (1997)
Prikry K.: Changing measurable into accessible cardinals. Dissertationes Math. Rozprawy Mat. 68, 55 (1970)
Rinot, A.: A relative of the approachability ideal, diamond and non-saturation. (in preparation) (2009)
Sharon, A., Viale, M.: Some consequences of reflection on the approchability ideal. (preprint) (2008)
Shelah, S.: On successors of singular cardinals. In: Logic Colloquium ’78 (Mons, 1978), vol. 97 of Stud. Logic Foundations Math., pp. 357–380. North-Holland, Amsterdam (1979)
Author information
Authors and Affiliations
Corresponding author
Additional information
The author would like to thank his Ph.D. advisor, M. Gitik, for his valuable comments and remarks.
Rights and permissions
About this article
Cite this article
Rinot, A. A cofinality-preserving small forcing may introduce a special Aronszajn tree. Arch. Math. Logic 48, 817–823 (2009). https://doi.org/10.1007/s00153-009-0155-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-009-0155-1