Hostname: page-component-7c8c6479df-94d59 Total loading time: 0 Render date: 2024-03-28T19:59:39.924Z Has data issue: false hasContentIssue false

A power function with a fixed finite gap everywhere

Published online by Cambridge University Press:  12 March 2014

Carmi Merimovich*
Affiliation:
Computer Science Department, Tel-Aviv Academic College, 4 Antokolsky St., Tel-Aviv 64044, Israel, E-mail: carmi@mta.ac.il

Abstract

We give an application of the extender based Radin forcing to cardinal arithmetic. Assuming κ is a large enough cardinal we construct a model satisfying 2κ = κ+n together with 2λ = λ+n for each cardinal λ < κ, where 0 < n < ω. The cofinality of κ can be set arbitrarily or κ can remain inaccessible.

When κ remains an inaccessible, Vκ is a model of ZFC satisfying 2λ = λ+n for all cardinals λ.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2007

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]Baumgartner, James, Iterated forcing, Surveys in Set Theory, London Mathematical Society Lecture notes, vol. 87, Cambridge University Press, Cambridge, 1983, pp. 155.Google Scholar
[2]Cantor, Georg, Über eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen, Journal für die Reine und Angewandte Mathematik, vol. 77 (1874), pp. 258262.Google Scholar
[3]Cantor, Georg, Ein Bertrag zur Mannigfaltigkeitslehre, Journal für die Reine und Angewandte Mathematik, vol. 84 (1878), pp. 242258.Google Scholar
[4]Cohen, Paul, The independence of the continuum hypothesis, Proceedings of the National Academy of Sciences. United States of America, vol. 50 (1963), pp. 105110.CrossRefGoogle ScholarPubMed
[5]Cummings, James, A model in which GCH holds at successors but fails at limits, Transactions of the American Mathematical Society, vol. 329 (1992), no. 1, pp. 139.CrossRefGoogle Scholar
[6]Cummings, James and Woodin, Hugh, A book on Radin forcing, chapters from unpublished book.Google Scholar
[7]Devlin, Keith and Jensen, Ronald, Marginalia to a theorem of Silver, Logic conference Kiel 1974, Lecture Notes in Mathematics, vol. 499, Springer, Berlin, 1974, pp. 115142.Google Scholar
[8]Easton, William, Powers of regular cardinals, Annals of Mathematical Logic, vol. 1 (1970), pp. 139178.CrossRefGoogle Scholar
[9]Foreman, Matthew and Woodin, Hugh, GCH can fail everywhere, Annals of Mathematics, vol. 133 (1991), no. 2, pp. 135.CrossRefGoogle Scholar
[10]Galvin, Fred and Hajnal, András, Inequalities for cardinal powers, Annals of Mathematics, vol. 101 (1975), pp. 491498.CrossRefGoogle Scholar
[11]Gitik, Moti, Changing cofinalities and the non-stationary ideal, Israel Journal of Mathematics, vol. 56 (1986), pp. 280314.CrossRefGoogle Scholar
[12]Gitik, Moti and Magidor, Menachem, The singular cardinal hypothesis revisited, Set Theory of the Continuum (Judah, Haim, Just, Winfried, and Woodin, Hugh, editors), Springer-Verlag, 1992, pp. 243278.CrossRefGoogle Scholar
[13]Gitik, Moti and Merimovich, Carmi, Possible values for and , Annals of Pure and Applied Logic, vol. 90 (1997), pp. 193241.CrossRefGoogle Scholar
[14]Gitik, Moti and Mitchell, William J., Indiscernible sequences for extenders, and the singular cardinal hypothesis, Annals of Pure and Applied Logic, vol. 82 (1996), no. 3, pp. 273316.CrossRefGoogle Scholar
[15]Gödel, Kurt, The consistency of the axiom of choice and of the generalized continuum hypothesis, Annals of Mathematics Studies, vol. 3 (1940), pp. 491498.Google Scholar
[16]Magidor, Menachem, On the singular cardinal problem I, Israel Journal of Mathematics, vol. 28 (1977), pp. 131.CrossRefGoogle Scholar
[17]Magidor, Menachem, On the singular cardinal problem H, Annals of Mathematics, vol. 106 (1977), pp. 517549.CrossRefGoogle Scholar
[18]Magidor, Menachem, Changing cofinality of cardinals, Fundamenta Mathematicae, vol. 99 (1978), pp. 6171.CrossRefGoogle Scholar
[19]Merimovich, Carmi, Extender based Radin forcing, Transactions of the American Mathematical Society, (1998), arXiv:matri.L0/0001121. Submitted.Google Scholar
[20]Mitchell, William, The core model for sequences of measures I, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 95 (1984), pp. 229260.CrossRefGoogle Scholar
[21]Mitchell, William, How weak is a closed unbounded ultrafilter?, Logic Colloquium '80 (van Dalen, D., Lascar, D., and Smiley, J., editors), North-Holland, 1992, pp. 209230.Google Scholar
[22]Prikry, Karel, Changing measurable into accessible cardinal, Dissertationes Mathematicae, vol. 68 (1970), pp. 552.Google Scholar
[23]Radin, Lon Berk, Adding closed cofinal sequences to large cardinals, Annals of Mathematical Logic, vol. 22 (1982), pp. 243261.CrossRefGoogle Scholar
[24]Scott, Dana, Measurable cardinals and constructible sets, Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques, vol. 9 (1961), pp. 521524.Google Scholar
[25]Segal, Miri, On powers of singular cardinals with cofinality > ω, Master's thesis, The Hebrew University of Jerusalem, 1995.+ω,+Master's+thesis,+The+Hebrew+University+of+Jerusalem,+1995.>Google Scholar
[26]Shelah, Saharon, Proper forcing, Lecture Notes in Mathematics, vol. 940, Springer, Berlin, 1982.CrossRefGoogle Scholar
[27]Silver, Jack, On the singular cardinal problem, Proceedings of the International Congress on Mathematicians (Vancouver), 1974, pp. 115142.Google Scholar
[28]Silver, Jack, Notes on reverse Easton forcing, unpublished.Google Scholar