Hostname: page-component-cd9895bd7-dzt6s Total loading time: 0 Render date: 2024-12-23T09:25:29.371Z Has data issue: false hasContentIssue false
  • English
  • Français

ITP, ISP, AND SCH

Published online by Cambridge University Press:  08 February 2019

SHERWOOD HACHTMAN  and
DIMA SINAPOVA
SHERWOOD HACHTMAN
Affiliation:
DEPARTMENT OF MATHEMATICS, STATISTICS, AND COMPUTER SCIENCE UNIVERSITY OF ILLINOIS AT CHICAGO CHICAGO, IL60613, USA E-mail: [email protected]
DIMA SINAPOVA
Affiliation:
DEPARTMENT OF MATHEMATICS, STATISTICS, AND COMPUTER SCIENCE UNIVERSITY OF ILLINOIS AT CHICAGO CHICAGO, IL60613, USA E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

$ISP$ cannot hold at the first or second successor of a singular strong limit of countable cofinality; on the other hand, we force a failure of “strong ${\rm{SCH}}$” across a cardinal where $ITP$ holds. We also show that $ITP$ does not imply that there are stationary many internally unbounded models.

Keywords

03E35large cardinalsthe tree propertyinternal unboundednessPrikry forcing
Type
Articles
Information
The Journal of Symbolic Logic , Volume 84 , Issue 2 , June 2019 , pp. 713 - 725
Copyright
Copyright © The Association for Symbolic Logic 2019 

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

Cummings, J. and Foreman, M., The tree property. Advances in Mathematics, vol. 133 (1998), no. 1, pp. 1–32.Google Scholar
Fontanella, L., Strong tree properties for small cardinals, this Journal, vol. 78 (2013), no. 1, pp. 317–333.Google Scholar
Gitik, M., Prikry type forcing, Handbook of Set Theory (Foreman, M. and Kanamori, A., editors), Springer, Dordrecht, 2010, pp. 1351–1447.Google Scholar
Gitik, M., Extender based forcings, fresh sets, and Aronszajn trees. Infinity, Computability, and Metamathematics (Geschke, S., Loewe, B., and Schlicht, P., editors), Tributes, vol. 23, College Publications, London, 2014, pp. 183–203.Google Scholar
Gitik, M. and Unger, S., Short extender forcing, Appalachian Set Theory 2006–2012 (Cummings, J. and Schimmerling, E., editors), Cambridge University Press, Cambridge, 2012, pp. 245–264.Google Scholar
Mitchell, W., Aronszajn trees and the independence of the transfer property. Annals of Mathematical Logic, vol. 5 (1972), pp. 21–46.Google Scholar
Magidor, M., Combinatorial characterization of supercompact cardinals. Proceedings of the American Mathematical Society, vol. 42 (1974), pp. 279–285.Google Scholar
Sharon, A., Weak squares, scales, stationary reflection and the failure of SCH, Ph.D. thesis, Tel Aviv University, 2005.Google Scholar
Sinapova, D. and Unger, S., Modified extender based forcing, this Journal, vol. 81 (2016), no. 4, pp. 1432–1443.Google Scholar
Sinapova, D. and Unger, S., The tree proeprty at ${\aleph _{{\omega ^2} + 1}}$and ,${\aleph _{{\omega ^2} + 1}}$. this Journal, vol. 83 (2018), no. 2, pp. 669–682.Google Scholar
Specker, E., Sur un problème de Sikorski. Colloquium Mathematicum, vol. 2 (1949), pp. 9–12.Google Scholar
Unger, S., A model of Cummings and Foreman revisited. Annals of Pure and Applied Logic, vol. 165 (2014), pp. 1813–1831.Google Scholar
Unger, S., Gitik’s Gap 2 short extender forcing with collapses, unpublished note, last accessed February 13, 2018.Google Scholar
Viale, M., Guessing models and generalized Laver diamond. Annals of Pure and Applied Logic, vol. 163 (2011), pp. 1660–1678.Google Scholar
Viale, M. and Weiss, C., On the consistency strength of the proper forcing axiom. Advances of Mathematics, vol. 228 (2011), pp. 2672–2687.Google Scholar
Weiss, C., The combinatorial essene of supercompactness. Annals of Pure and Applied Logic, vol. 163 (2012), pp. 1710–1717.Google Scholar