Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-24T19:02:48.675Z Has data issue: false hasContentIssue false

0# and inner models

Published online by Cambridge University Press:  12 March 2014

SY D. Friedman*
Affiliation:
Institut für Formale Logik, Währinger Strasse 25, A-1090 Wien., Austria, E-mail: [email protected]

Extract

In this paper we examine the cardinal structure of inner models that satisfy GCH but do not contain 0#. We show, assuming that 0# exists, that such models necessarily contain Mahlo cardinals of high order, but without further assumptions need not contain a cardinal κ which is κ-Mahlo. The principal tools are the Covering Theorem for L and the technique of reverse Easton iteration.

Let I denote the class of Silver indiscernibles for L and 〈iαα ϵ ORD〉 its increasing enumeration. Also fix an inner model M of GCH not containing 0# and let ωα denote the ωα of the model M[0#], the least inner model containing M as a submodel and 0# as an element.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2002

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]Devlin, K. and Jensen, R., Marginalia to a theorem of Silver, Lecture Notes, vol. 499, Springer, 1975, pp. 115142.Google Scholar
[2]Friedman, S., Generic saturation, this Journal, vol. 63 (1998), pp. 158162.Google Scholar