Hostname: page-component-8448b6f56d-wq2xx Total loading time: 0 Render date: 2024-04-24T19:47:19.567Z Has data issue: false hasContentIssue false
  • English
  • Français

The tree property at ℵω+2

Published online by Cambridge University Press:  12 March 2014

Sy-David Friedman  and
Ajdin Halilović
Sy-David Friedman
Affiliation:
Kurt Gödel Research Center, Währinger Straβe 25, 1090 Vienna, Austria, E-mail: sdf@logic.univie.ac.at
Ajdin Halilović
Affiliation:
Kurt Gödel Research Center, Währinger Straβe 25, 1090 Vienna, Austria, E-mail: ajdin.halilovic@univie.ac.at
Get access Rights & Permissions [Opens in a new window]

Abstract

Assuming the existence of a weakly compact hypermeasurable cardinal we prove that in some forcing extension ℵω is a strong limit cardinal and ℵω+2 has the tree property. This improves a result of Matthew Foreman (see [2]).

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 76 , Issue 2 , June 2011 , pp. 477 - 490
Copyright
Copyright © Association for Symbolic Logic 2011

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

REFERENCES

[1]Abraham, U., Aronszajn trees on ℵ2 and ℵ3, Annals of Pure and Applied Logic, vol. 24 (1983), pp. 213–230.CrossRefGoogle Scholar
[2]Cummings, J. and Foreman, M., The tree property, Advances in Mathematics, vol. 133 (1998), pp. 1–32.CrossRefGoogle Scholar
[3]Dobrinen, N. and Friedman, S., The consistency strength of the tree property at the double successor of a measurable, Fundamenta Mathematicae, vol. 208 (2010), pp. 123–153.CrossRefGoogle Scholar
[4]Foreman, M., Magidor, M., and Schindler, R., The consistency strength of successive cardinals with the tree property, this Journal, vol. 66 (2001), pp. 1837–1847.Google Scholar
[5]Gitik, M., The negation of sch from o(κ) = κ++, Annals of Pure and Applied Logic, vol. 43 (1989), pp. 209–234.CrossRefGoogle Scholar
[6]Kanamori, A., Perfect set forcing for uncountable cardinals, Annals of Mathematical Logic, vol. 19 (1980), pp. 97–114.CrossRefGoogle Scholar
[7]Magidor, M. and Shelah, S., The tree property at successors of singular cardinals, Archive for Mathematical Logic, vol. 35 (1996), pp. 385–404.CrossRefGoogle Scholar