Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-26T21:31:32.610Z Has data issue: false hasContentIssue false
  • English
  • Français

MODIFIED EXTENDER BASED FORCING

Published online by Cambridge University Press:  01 December 2016

DIMA SINAPOVA  and
SPENCER UNGER
DIMA SINAPOVA
Affiliation:
UNIVERSITY OF CALIFORNIA LOS ANGELES, CA, USA E-mail: [email protected]
SPENCER UNGER
Affiliation:
UNIVERSITY OF ILLINOIS CHICAGO, IL, USA E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We analyze the modified extender based forcing from Assaf Sharon’s PhD thesis. We show there is a bad scale in the extension and therefore weak square fails. We also present two metatheorems which give a rough characterization of when a diagonal Prikry-type forcing forces the failure of weak square.

Keywords

Prikry forcingExtender based forcingweak square
Type
Articles
Information
The Journal of Symbolic Logic , Volume 81 , Issue 4 , December 2016 , pp. 1432 - 1443
Copyright
Copyright © The Association for Symbolic Logic 2016 

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., Diagonal Prikry extensions , this Journal, vol. 75 (2010), no. 4, p. 1383.Google Scholar
Gitik, M., Blowing up the power of a singular cardinal . Annals of Pure and Applied Logic, vol. 80 (1996), no. 1, pp. 17–33.CrossRefGoogle Scholar
Gitik, M., Blowing up power of a singular cardinalwider gaps . Annals of Pure and Applied Logic, vol. 116 (2002), no. 1–3, pp. 1–38.Google Scholar
Gitik, M., Prikry-type forcings , Handbook of Set Theory (Foreman, M. and Kanamori, A., editors), Springer, Netherlands, 2010, pp. 1351–1447.Google Scholar
Gitik, M. and Magidor, M., Extender based forcings , this Journal, vol. 59 (1994), pp. 445–460.Google Scholar
Gitik, M. and Sharon, A., On SCH and the approachability property . Proceedings of the American Mathematical Society, vol. 136 (2008), no. 1, pp. 311–320 (electronic).Google Scholar
Gitik, M. and Unger, S., Short extender forcing , Appalachian Set Theory (Cummings, J. and Schimmerling, E., editors), Cambridge University Press, Cambridge, 2012.Google Scholar
[8] 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., Combinatorics at ℵ ω . Annals of Pure and Applied Logic vol. 165 (2014), no. 4, pp. 996–1007.Google Scholar
Sinapova, D. and Unger, S., Scales at ℵ ω . Israel Journal of Mathematics, vol. 209 (2015), no. 1, pp. 463–486.Google Scholar