Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

Core Models in the Presence of Woodin Cardinals

Ralf Schindler
The Journal of Symbolic Logic
Vol. 71, No. 4 (Dec., 2006), pp. 1145-1154
Stable URL: http://www.jstor.org/stable/27588507
Page Count: 10
  • Read Online (Free)
  • Download ($10.00)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Preview not available

Abstract

Let 0 < n < ω. If there are n Woodin cardinals and a measurable cardinal above, but $M_{n+1}^{\#}$ doesn't exist, then the core model K exists in a sense made precise. An Iterability Inheritance Hypothesis is isolated which is shown to imply an optimal correctness result for K.

Page Thumbnails

  • Thumbnail: Page 
1145
    1145
  • Thumbnail: Page 
1146
    1146
  • Thumbnail: Page 
1147
    1147
  • Thumbnail: Page 
1148
    1148
  • Thumbnail: Page 
1149
    1149
  • Thumbnail: Page 
1150
    1150
  • Thumbnail: Page 
1151
    1151
  • Thumbnail: Page 
1152
    1152
  • Thumbnail: Page 
1153
    1153
  • Thumbnail: Page 
1154
    1154