An Outline of Inner Model Theory
- John R. SteelAffiliated withDepartment of Mathematics, University of California at Berkeley Email author
This paper outlines the basic theory of canonical inner models satisfying large cardinal hypotheses. It begins with the definition of the models, and their fine structural analysis modulo iterability assumptions. It then outlines how to construct canonical inner models, and prove their iterability, in roughly the greatest generality in which it is currently known how to do this. The paper concludes with some applications: genericity iterations, proofs of generic absoluteness, and a proof that the hereditarily ordinal definable sets of L(ℝ) constitute a canonical inner model.
- An Outline of Inner Model Theory
- Book Title
- Handbook of Set Theory
- pp 1595-1684
- Print ISBN
- Online ISBN
- Springer Netherlands
- Copyright Holder
- Springer Science+Business Media B.V.
- Additional Links
- Industry Sectors
- eBook Packages
- Editor Affiliations
- ID1. School of Physical Sciences, University of California, Irvine
- ID2. Dept. Manufacturing Engineering, Boston University
- John R. Steel (1)
- Author Affiliations
- 1. Department of Mathematics, University of California at Berkeley, Berkeley, CA, 94720, USA
To view the rest of this content please follow the download PDF link above.