Book contents
- Frontmatter
- Contents
- Introduction
- 1 The construction of Kc
- 2 Iterability
- 3 Thick classes and universal weasels
- 4 The hull and definability properties
- 5 The construction of true K
- 6 An inductive definition of K
- 7 Some applications
- 8 Embeddings of K
- 9 A general iterability theorem
- References
- Index of definitions
- References
References
Published online by Cambridge University Press: 24 March 2017
Book contents
- Frontmatter
- Contents
- Introduction
- 1 The construction of Kc
- 2 Iterability
- 3 Thick classes and universal weasels
- 4 The hull and definability properties
- 5 The construction of true K
- 6 An inductive definition of K
- 7 Some applications
- 8 Embeddings of K
- 9 A general iterability theorem
- References
- Index of definitions
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- The Core Model Iterability Problem , pp. 109 - 110Publisher: Cambridge University PressPrint publication year: 2017
References
and , The covering lemma for L[U], Ann. Math. Logic 22 (1982), 127–155.
, , , and ,
The core model for nonoverlapping extender sequences
, to appear.
, , and ,
Martin's maximum, saturated ideals, and non-regular ultrafilters
, Ann. of Math. (2) 127 (1988), 1–47.Google Scholar
,
The consistency strength of projective absoluteness
, habilitationsschrift, Ruprecht-Karls-Universitat, Heidelberg, 1993.
and , On the relative consistency strength of determinacy hypotheses, TAMS, 290 (1), 179–211.
,
Some applications of iterated ultrapowers in set theory
, Ann. Math. Logic
1 (1970), 179–227.Google Scholar
,
The core model for sequences of measuresl
, Math. Proc. Cambridge Philos. Soc. 95 (1984), 228–260.Google Scholar
,
Σ3
1 absoluteness for sequences of measures
, in Set Theory of the Continuum, , , eds., MSRI publications, no. 26, Springer-Verlag 1992.
, The core model for sequences of measures II, unpublished.
, E. Schimmerling and , The weak covering lemma up to a Woodin cardinal, to appear in Ann. Pure and Applied Logic.
,
Combinatorial principles in the core model for one Woodin cardinal
, Ann. of Pure and Applied Logic, 74 (1995) 153–201.Google Scholar
and ,
Fine structure for tame inner models
, J. Symbolic Logic, vol. 61 (1996), 621–639.Google Scholar
, Core models with more Woodin cardinals, to appear.
,
Protectively wellordered inner models
, Ann. of Pure and Applied Logic, vol. 74 (1995), 77–104.Google Scholar
and ,
Two consequence of determinacy consistent with choice
, Trans, of AMS
272 (1982), 67–85.Google Scholar
and , Σ3
1
absoluteness and the second uniform indiscernible, to appear.
,
Some consistency results in ZFC using AD
, in Cabal Seminar 79-81, Springer Lecture Notes in Mathematics, vol. 1019 (1983), 172–198.Google Scholar