Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Applications of the covering lemma for sequences of measures


Author: W. Mitchell
Journal: Trans. Amer. Math. Soc. 299 (1987), 41-58
MSC: Primary 03E45; Secondary 03E35, 03E55
DOI: https://doi.org/10.1090/S0002-9947-1987-0869398-2
MathSciNet review: 869398
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We present several applications of the covering lemma for the core model for sequences of measures, including characterizations of the large cardinal strength necessary to make the filter of closed, unbounded subsets of $ {\omega _1}$ an ultrafilter or to change the cofinality of a regular cardinal, and a characterization of the minimal inner model containing an arbitrary elementary embedding.


References [Enhancements On Off] (What's this?)

  • [D-J81] A. J. Dodd and R. Jensen, The core model, Ann. Math. Logic 20 (1981), 43-75. MR 611394 (82i:03063)
  • [D-J82a] -, The covering lemma for $ K$, Ann. Math. Logic 22 (1982), 1-30. MR 661475 (83i:03082a)
  • [D-J82b] -, The covering lemma for $ L(U)$, Ann. Math. Logic 22 (1982), 127-135. MR 667224 (83i:03082b)
  • [K-P71] K. Kunen and J. P. Paris, Boolean extensions and measurable cardinals, Ann. Math. Logic 2 (1971), 359-378. MR 0277381 (43:3114)
  • [Ma78] M. Magidor, Changing cofinality of cardinals, Fund. Math. 99 (1978), 61-71. MR 0465868 (57:5754)
  • [Mi74] W. Mitchell, Sets constructible from sequences of ultrafilters, J. Symbolic Logic 39 (1974), 57-66. MR 0344123 (49:8863)
  • [Mi82] -, How weak is a closed unbounded ultrafilter, Logic Colloquium '80 (D. van Dalen, D. Lascar, J. Smiley, eds.), Studies in Logic, vol. 108, North-Holland, Amsterdam, 1982, pp. 209-230. MR 673794 (84f:03047)
  • [Mi84a] -, The core model for sequences of measures. I, Math. Proc. Cambridge Philos. Soc. 95 (1984), 229-252. MR 735366 (85i:03163)
  • [Mi84b] -, Indiscernibles, skies and ultrafilters, Contemporary Math. 31 (1984), 161-182.
  • [Mi] -, The core model for sequences of measures. II (to appear).
  • [Pr71] K. Prikry, Changing measurable cardinals into accessible cardinals, Dissertationes Math. (Rozprawy Mat.) 68 (1971), 359-378. MR 0262075 (41:6685)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 03E45, 03E35, 03E55

Retrieve articles in all journals with MSC: 03E45, 03E35, 03E55


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1987-0869398-2
Article copyright: © Copyright 1987 American Mathematical Society

American Mathematical Society