Hostname: page-component-78c5997874-s2hrs Total loading time: 0 Render date: 2024-11-19T10:32:09.324Z Has data issue: false hasContentIssue false

Extender based forcings

Published online by Cambridge University Press:  12 March 2014

Moti Gitik
Affiliation:
Sackler Faculty of Exact Sciences, School of Mathematical Sciences, Tel Aviv University, Ramat Aviv 69978, Israel, E-mail: gitik@math.tan.ac.il
Menachem Magidor
Affiliation:
Department of Mathematics, Hebrew University of Jerusalem, Givat Ram, Jerusalem, Israel, E-mail: menachem@math.huji.ac.il

Abstract

The paper is a continuation of [The SCH revisited], In § 1 we define a forcing with countably many nice systems. It is used, for example, to construct a model “GCH below κ, c f κ = ℵ0, and 2κ > κ+ω from 0(κ) = κ+ω. In §2 we define a triangle iteration and use it to construct a model satisfying “{μλc f μ = ℵ0 and pp(μ) > λ} is countable for some λ”. The question of whether this is possible was asked by S. Shelah. In §3 a forcing for blowing the power of a singular cardinal without collapsing cardinals or adding new bounded subsets is presented. Answering a question of H. Woodin, we show that it is consistent to have “c f κ = ℵ0. GCH below κ, 2κ > κ+, and ”. In §4 a variation of the forcing of [The SCH revisited, §1] is defined. It behaves nicely in iteration processes. As an application, we sketch a construction of a model satisfying:

κ is a measurable and 2κκ+α for some α, κ < c f α < α” starting with 0(κ) = κ+α. This answers the question from Gitik's On measurable cardinals violating the continuum hypothesis.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1994

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

[G1] Gitik, M., Changing cofinalities and the nonstationary ideal, Israel Journal of Mathematics, vol. 56 (1986), pp. 28314.Google Scholar
[G2] Gitik, M., The negation of SCH from 0(κ) = κ ++ , Annals of Pure and Applied Logic, vol. 43 (1989), pp. 209234.Google Scholar
[G3] Gitik, M., On measurable cardinals violating the continuum hypothesis, Annals of Pure and Applied Logic, vol. 63 (1993>, pp. 227240.CrossRefGoogle Scholar
[G-M] Gitik, M. and Magidor, M., The SCH revisited.Google Scholar
[Jen] Jensen, R., The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol. 4 (1972), pp. 229309.Google Scholar
[Sh] Shelah, S., On successors of singular cardinals, Logic Colloquium, 78 (Boffa, M., van Dallen, D., and McAloon, K., editors), North-Holland, Amsterdam, pp. 357380.Google Scholar
[Sh1] Shelah, S., Cardinal arithmetic , a forthcoming book.Google Scholar
[Sh2] Shelah, S., Cardinal arithmetic for skeptics, Bulletin, American Mathematical Society, Providence, Rhode Island (to appear).Google Scholar