Advertisement

Israel Journal of Mathematics

, Volume 214, Issue 2, pp 945–982 | Cite as

The structure of the Mitchell order—I

  • Omer Ben-Neria
Article
  • 42 Downloads

Abstract

We isolate here a wide class of well-founded orders called tame orders, and show that each such order of cardinality at most κ can be realized as the Mitchell order on a measurable cardinal κ, from a consistency assumption weaker than o(κ) = κ+.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    A. Apter, J. Cummings and J. Hamkins, Large cardinals with few measures, Proceedings of the American Mathematical Society 135 (2007), 2291–2300.MathSciNetCrossRefzbMATHGoogle Scholar
  2. [2]
    S. Baldwin, The ▽-Ordering on Normal ultrafilters, The Journal of Symbolic Logic 50 (1985), 936–952.MathSciNetCrossRefzbMATHGoogle Scholar
  3. [3]
    O. Ben-Neria, Forcing Magidor iteration over a core model below 0¶, Archive for Mathematical Logic 53 (2014), 367–384.MathSciNetCrossRefzbMATHGoogle Scholar
  4. [4]
    O. Ben-Neria, The structure of the Mitchell order—II, Annals of Pure and Applied Logic 166 (2015), 1407–1432.MathSciNetCrossRefzbMATHGoogle Scholar
  5. [5]
    J. Cummings, Possible behaviours for the Mitchell ordering, Annals of Pure and Applied Logic 65 (1993), 107–123.MathSciNetCrossRefzbMATHGoogle Scholar
  6. [6]
    J. Cummings, Possible behaviours for the Mitchell ordering II, Journal of Symbolic Logic 59 (1994), 1196–1209.MathSciNetCrossRefzbMATHGoogle Scholar
  7. [7]
    S.-D. Friedman and M. Magidor, The number of normal measures, The Journal of Symbolic Logic 74 (2009), 1069–1080.MathSciNetCrossRefzbMATHGoogle Scholar
  8. [8]
    S.-D. Friedman and K. Thompson, Perfect trees and elementary embeddings, The Journal of Symbolic Logic 73 (2008), 906–918.MathSciNetCrossRefzbMATHGoogle Scholar
  9. [9]
    M. Gitik, Prikry type forcings, in Handbook of Set Theory, Vol. 2, Springer, Dordrecht, 2010, pp. 1351–1448.CrossRefGoogle Scholar
  10. [10]
    K. Kunen, Some application of iterated ultrapowers in set theory, Annals of Mathematical Logic 1 (1970), 179–227.MathSciNetCrossRefzbMATHGoogle Scholar
  11. [11]
    K. Kunen and J. Paris, Boolean extensions and measurable cardinals, Annals of Mathematical Logic 2 (1970/71), 359–377.MathSciNetCrossRefzbMATHGoogle Scholar
  12. [12]
    J. Leaning and O. Ben-Neria, Disassociated indiscernibles, Mathematical Logic Quarterly 60 (2014), 389–402.MathSciNetCrossRefzbMATHGoogle Scholar
  13. [13]
    M. Magidor, How large is the first strongly compact cardinal? or A study on identity crisis, Annals of Mathematical Logic, 10 (1976), 33–57.MathSciNetCrossRefzbMATHGoogle Scholar
  14. [14]
    W. Mitchell, Beginning inner model theory, in Handbook of Set Theory, Vol. 3, Springer, Dordrecht, 2010, pp. 1449–1495.CrossRefGoogle Scholar
  15. [15]
    W. Mitchell, Sets Constructed from Sequences of ultrafilters, The Journal of Symbolic Logic 39 (1974), 57–66.MathSciNetCrossRefzbMATHGoogle Scholar
  16. [16]
    W. Mitchell, Sets Constructed from Sequences of Measures: Revisited, The Journal of Symbolic Logic 48 (1983), 600–609.MathSciNetCrossRefzbMATHGoogle Scholar
  17. [17]
    J. Steel, An outline of inner model theory, in Handbook of Set Theory, Vol. 3, Springer, Dordrecht, 2010, pp. 1595–1684.CrossRefGoogle Scholar
  18. [18]
    J. Witzany, Any Behaviour of the Mitchell Ordering of Normal Measures is Possible, Proceedings of the American Mathematical Society 124 (1996), 291–297.MathSciNetCrossRefzbMATHGoogle Scholar
  19. [19]
    M. Zeman, Inner Models and Large Cardinals. de Gruyter series in Logic and its Applications, Vol. 5, Walter de Gruyter & Co., Berlin, 2002.CrossRefzbMATHGoogle Scholar

Copyright information

© Hebrew University of Jerusalem 2016

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of California at Los AngelesLos AngelesUSA

Personalised recommendations