Hostname: page-component-8448b6f56d-qsmjn Total loading time: 0 Render date: 2024-04-17T22:51:58.359Z Has data issue: false hasContentIssue false
  • English
  • Français

Internal Consistency and the Inner Model Hypothesis

Published online by Cambridge University Press:  15 January 2014

Sy-David Friedman
Sy-David Friedman*
Affiliation:
Kurt Gödel Research Center, University of Vienna, Währinger Strasse 25, A-1090 Vienna, AustriaE-mail: sdf@logic.univie.ac.at
Get access Rights & Permissions [Opens in a new window]

Extract

There are two standard ways to establish consistency in set theory. One is to prove consistency using inner models, in the way that Gödel proved the consistency of GCH using the inner model L. The other is to prove consistency using outer models, in the way that Cohen proved the consistency of the negation of CH by enlarging L to a forcing extension L[G].

But we can demand more from the outer model method, and we illustrate this by examining Easton's strengthening of Cohen's result:

Theorem 1 (Easton's Theorem). There is a forcing extensionL[G] of L in which GCH fails at every regular cardinal.

Assume that the universe V of all sets is rich in the sense that it contains inner models with large cardinals. Then what is the relationship between Easton's model L[G] and V? In particular, are these models compatible, in the sense that they are inner models of a common third model? If not, then the failure of GCH at every regular cardinal is consistent only in a weak sense, as it can only hold in universes which are incompatible with the universe of all sets. Ideally, we would like L[G] to not only be compatible with V, but to be an inner model of V.

We say that a statement is internally consistent iff it holds in some inner model, under the assumption that there are innermodels with large cardinals.

Type
Communications
Information
Bulletin of Symbolic Logic , Volume 12 , Issue 4 , December 2006 , pp. 591 - 600
Copyright
Copyright © Association for Symbolic Logic 2006

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] Bagaria, J., Axioms of generic absoluteness, Colloquium Logicum '02 (Chatzidakis, Z., Koepke, P., and Pohlers, W., editors), Lecture Notes in Logic, vol. 27, ASL and AK Peters, 2006, pp. 28–47.Google Scholar
[2] Beller, A., Jensen, R., and Welch, P., Coding the universe, London Mathematical Society, Lecture Note Series, vol. 47, Cambridge University Press, 1982.Google Scholar
[3] Dobrinen, N. and Friedman, S., Costationarity of the ground model, The Journal of Symbolic Logic, vol. 71 (2006), no. 3, pp. 1029–1043.Google Scholar
[4] Džamonja, M., Friedman, S., and Thompson, K., Global complexity results, Set theory and its applications (Andretta, Alessandro, editor), Quaderni di Matematica, Napoli, to appear.Google Scholar
[5] Friedman, S., New facts, Proceedings of the American Mathematical Society, vol. 127 (1999), pp. 3707–3709.Google Scholar
[6] Friedman, S. Stable axioms of set theory, Set theory, Centre de recerca Matemàtica, Barcelona, 2003–2004 (Bagaria, Joan and Todorcevic, Stevo, editors), Trends in Mathematics, Birkhäuser Verlag, 2006.Google Scholar
[7] Friedman, S. and Futáš, T., The internal consistency of the singular cardinal hypothesis, in preparation.Google Scholar
[8] Friedman, S. and Ondrejović, P., The internal consistency of Easton's theorem, in preparation.Google Scholar
[9] Friedman, S. and Thompson, K., Internal consistency and embedding complexity, in preparation.Google Scholar
[10] Friedman, S., Welch, P., and Woodin, W. H., On the consistency strength of the inner model hypothesis, to appear.Google Scholar
[11] Gitik, M., The negation of SCH from o(ℜ) = ℜ++ Annals of Pure and Applied Logic, vol. 43 (1989), no. 3, pp. 209–234.Google Scholar
[12] Hamkins, J., A simple maximality principle, The Journal of Symbolic Logic, vol. 68 (2003), no. 2, pp. 527–550.CrossRefGoogle Scholar
[13] Mitchell, W., An introduction to inner models and large cardinals, a chapter for the Handbook of Set Theory, to appear.Google Scholar
[14] Woodin, W. H., The axiom of determinacy, forcing axioms, and the nonstationary ideal, Walter de Gruyter, 1999.Google Scholar