Handbook of Set Theory

pp 1595-1684


An Outline of Inner Model Theory

  • John R. SteelAffiliated withDepartment of Mathematics, University of California at Berkeley Email author 

* Final gross prices may vary according to local VAT.

Get Access


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.