Σ31-Absoluteness for Sequences of Measures

  • William J. Mitchell
Part of the Mathematical Sciences Research Institute Publications book series (MSRI, volume 26)

Abstract

We extend Jensen’s Σ 3 1 -absoluteness result to apply to the core model for sequences of measures, provided that sharps exist and there is no inner model of ∃ko(k) = k ++. The proof includes a result on the patterns of indiscernibles analogous to the one which arises in Jensen’s proof.

Keywords

Coherence Prool 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Dod82]
    A. Dodd, The Core Model, London Math. Soc. Lecture Notes Gl, Cambridge University Press, Cambridge, 1982.Google Scholar
  2. [Jen72]
    R. Jensen, The Fine Structure of the Constructible Hierarchy, Ann. Math. Logic 4 (1972), 229–309.MathSciNetMATHCrossRefGoogle Scholar
  3. [Jen81]
    R. Jensen, Some Applications of the Core Model, Set Theory and Model Theory, Lecture Notes in Mathematics 872 (B. Jensen and A. Prestel, eds.), Springer-Verlag, New York, 1981, pp. 55–97.Google Scholar
  4. [MaS69]
    D. A. Martin and R. Solovay, A Basis Theorem for II3 Sets of Reals, Annals of Mathemtics 89 (1969), 138–160.MathSciNetMATHCrossRefGoogle Scholar
  5. [Mi74]
    W. J. Mitchell, Sets Constructible from Sequences of Ultrafilters, Journal of Symbolic Logic 39 (1974), 57–66.MathSciNetMATHCrossRefGoogle Scholar
  6. [Mi84]
    W. J. Mitchell, The Core Model for Sequences of Measures, I, Math. Proc. of the Cambridge Philosophical Society 95 (1984), 41–58.Google Scholar
  7. [Mi87]
    W. J. Mitchell, Applications of the Core Model for sequences of measures, trans, of the American Mathematics Society 299 (1987), 41–58.MATHCrossRefGoogle Scholar
  8. [Mi]
    W. J. Mitchell, The Core Model for Sequences of Measures, II, submitted to Math. Proc. of the Cambridge Phil. Soc. Google Scholar
  9. [Mi91a]
    W. J. Mitchell, On the Singular Cardinal Hypothesis, Transactions of the American Mathematical Society (to appear).Google Scholar
  10. [Mi91b]
    W. J. Mitchell, Definable Singularity, Transactions of the American Mathimatical Society (to appear).Google Scholar
  11. [MiS89]
    W. J. Mitchell and J. Steel, Fine Structure and Iteration Trees, (in preparation).Google Scholar
  12. [Sho61]
    J. R. Shoenfield, The Problem of Predicativity, Essays on the Foundations of Mathematics (Y. Bar-Hillel, E. I. J Poznanski, M. O. Rabin and A. Robinson, eds.), The Magnes Press, Jerusalem, 1961, pp. 132–142.Google Scholar
  13. [Sil71]
    J. Silver, Some Applications of Set Theory in Model Theory, Annals of Mathematical Logic 3 (1971), 45–110.MathSciNetMATHCrossRefGoogle Scholar
  14. [Ste90]
    J. Steel, The Core Model Iterability Problem, Handwritten notes (June 1990).Google Scholar

Copyright information

© Springer-Verlag New York, Inc. 1992

Authors and Affiliations

  • William J. Mitchell
    • 1
  1. 1.Department of MathematicsUniversity of FloridaGainesvilleUSA

Personalised recommendations