An Outline of Inner Model Theory
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.
KeywordsInitial Segment Direct Limit Iteration Strategy Canonical Embedding Successor Cardinal
Unable to display preview. Download preview PDF.
- Howard S. Becker and Alexander S. Kechris. Sets of ordinals constructible from trees and the third Victoria Delfino problem. In James E. Baumgartner, Donald A. Martin, and Saharon Shelah, editors, Axiomatic Set Theory (Boulder, CO, 1983), pages 13–29. American Mathematical Society, Providence, 1984. Google Scholar
- Peter Koellner and W. Hugh Woodin. Large cardinals from determinacy. Chapter 23 in this Handbook. 10.1007/978-1-4020-5764-9_24.
- Benedikt Löwe and John R. Steel. An introduction to core model theory. In S. Barry Cooper and John K. Truss, editors, Sets and Proofs, Logic Colloquium ’97, volume 258 of London Mathematical Society Lecture Note Series, pages 103–157. Cambridge University Press, Cambridge, 1999. Google Scholar
- William J. Mitchell. Beginning inner model theory. Chapter 17 in this Handbook. 10.1007/978-1-4020-5764-9_18.
- William J. Mitchell. The covering lemma. Chapter 18 in this Handbook. 10.1007/978-1-4020-5764-9_19.
- William J. Mitchell. Hypermeasurable cardinals. In Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, editors, Logic Colloquium ’78 (Mons, 1978), pages 303–316. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1979. Google Scholar
- Itay Neeman. Determinacy in L(ℝ). Chapter 22 in this Handbook. 10.1007/978-1-4020-5764-9_23.
- Ernest Schimmerling. A core model toolbox and guide. Chapter 20 in this Handbook. 10.1007/978-1-4020-5764-9_21.
- Ralf Schindler and Martin Zeman. Fine structure. Chapter 9 in this Handbook. 10.1007/978-1-4020-5764-9_10.
- John R. Steel. A stationary-tower-free proof of the derived model theorem. In Su Gao, Steve Jackson, and Yi Zhang, editors, Advances in Logic, volume 425 of Contemporary Mathematics, pages 1–8. American Mathematical Society, Providence, 2007. Google Scholar
- John R. Steel. Derived models associated to mice. In C. T. Chong, Qi Feng, Theodore Slaman, W. Hugh Woodin, and Y. Yang, editors, Computational Prospects of Infinity, pages 105–193. World Scientific, Singapore, 2008. Google Scholar
- Philip D. Welch. Σ* fine structure. Chapter 10 in this Handbook. 10.1007/978-1-4020-5764-9_11.
- Philip D. Welch. Combinatorial principles in the core model. PhD dissertation, Oxford, 1979. Google Scholar
- Dorshka Wylie. Condensation and square in a higher core model. PhD dissertation, MIT, 1990. Google Scholar
- Martin Zeman. Inner Models and Large Cardinals, volume 5 of de Gruyter Series in Logic and Applications. de Gruyter, Berlin, 2002. Google Scholar