Abstract
Fontanella (J Symb Logic 79(1):193–207, 2014) showed that if \(\langle \kappa _n:n<\omega \rangle \) is an increasing sequence of supercompacts and \(\nu =\sup _n\kappa _n\), then the strong tree property holds at \(\nu ^+\). Building on a proof by Neeman (J Math Log 9:139–157, 2010), we show that the strong tree property at \(\kappa ^+\) is consistent with \(\lnot SCH_\kappa \), where \(\kappa \) is singular strong limit of countable cofinality.
Similar content being viewed by others
References
Cummings, J., Foreman, M.: The tree property. Adv. Math. 133(1), 1–32 (1998)
Fontanella, L.: The strong tree property at successors of singular cardinals. J. Symb. Logic 79(1), 193–207 (2014)
Fontanella, L.: Strong tree properties for small cardinals. J. Symb. Log. 78(1), 317–333 (2013)
Franchella, M.: On the origins of Dénes König’s infinity lemma. M. Ach. Hist. Exact Sci. 51, 3 (1997)
Gitik, M., Sharon, A.: On SCH and the approachability property. Proc. Am. Math. Soc. 136(1), 311 (2008)
Kunen, K., Vaughan, J.: Handbook of Set-Theoretic Topology, North Holland. See Chapter 6 on Trees and Linearly Ordered Sets by Todorcevic S (1984)
Neeman, I.: Aronszajn trees and the failure of the singular cardinal hypothesis. J. Math. Log. 9, 139–157 (2010)
Neeman, I.: The tree property up to \(\aleph _{\omega +1}\). J. Symb. Log. 79, 429–459 (2014)
Sinapova, D.: The tree property at the first and double successors of a singular. Israel J. Math. 216(2), 799–810 (2016)
Sinapova, D., Unger, S.: Combinatorics at \(\aleph _\omega \). Ann Pure Appl. Log. 165, 996–1007 (2014)
Sinapova, D., Unger, S.: The tree property at \(\aleph _{\omega ^2+1}\) and \(\aleph _{\omega ^2+2}\). J. Symb. Log. 83(2), 669–682 (2018)
Specker, E.: Sur un problème de Sikorski. Colloq. Math. 2, 9–12 (1949)
Unger, S.: A model of cummings and foreman revisited. Ann. Pure Appl Log. 165, 1813–1831 (2014)
Weiss, C.: Subtle and ineffable tree properties. (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Du, J. The strong tree property and the failure of SCH. Arch. Math. Logic 58, 867–875 (2019). https://doi.org/10.1007/s00153-019-00663-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-019-00663-0