Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

Collapsing successors of singulars


Author: James Cummings
Journal: Proc. Amer. Math. Soc. 125 (1997), 2703-2709
MSC (1991): Primary 03E05; Secondary 03E35
DOI: https://doi.org/10.1090/S0002-9939-97-03995-6
MathSciNet review: 1416080
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $\kappa $ be a singular cardinal in $V$, and let $W \supseteq V$ be a model such that $\kappa ^+_V = \lambda ^+_W$ for some $W$-cardinal $\lambda $ with $W \models \operatorname {cf}(\kappa ) \neq \operatorname {cf}(\lambda )$. We apply Shelah's pcf theory to study this situation, and prove the following results. 1) $W$ is not a $\kappa ^+$-c.c generic extension of $V$. 2) There is no ``good scale for $\kappa $'' in $V$, so in particular weak forms of square must fail at $\kappa $. 3) If $V \models \operatorname {cf}(\kappa ) = \aleph _0$ then $V \models \hbox {``$\kappa $ is strong limit $\implies 2^\kappa = \kappa ^+$'',}$ and also ${}^\omega \kappa \cap W \supsetneq {}^\omega \kappa \cap V$. 4) If $\kappa = \aleph _\omega ^V$ then $\lambda \le (2^{\aleph _0})_V$.


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

  • 1. L. Bukovský and E. Copláková-Hartová, Minimal collapsing extensions of models of ZFC. Annals of Pure and Applied Logic, 46:265-298, 1990. MR 92e:03077
  • 2. M. Burke and M. Magidor, Shelah's pcf theory and its applications. Annals of Pure and Applied Logic, 50:207-254, 1990. MR 92f:03053
  • 3. J. Cummings, M. Foreman and M. Magidor. Scales, squares and stationary reflection. In preparation.
  • 4. M. Foreman and M. Magidor, A very weak square principle. To appear.
  • 5. J. P. Levinski, M. Magidor and S. Shelah, Chang's conjecture for $\aleph _\omega $. Israel Journal of Mathematics, 69:161-172, 1990. MR 91g:03071
  • 6. W. J. Mitchell and E. Schimmerling, Covering without countable closure. Mathematical Research Letters, 2:595-609, 1995. MR 96k:03123
  • 7. W. J. Mitchell, E. Schimmerling,and J. R. Steel, The Covering Lemma up to a Woodin cardinal. To appear in Annals of Pure and Applied Logic.
  • 8. E. Schimmerling, Combinatorial principles in the core model for one Woodin cardinal. Annals of Pure and Applied Logic, 74:153-201, 1995. MR 96f:03041
  • 9. S. Shelah, On successors of singulars. In Logic Colloquium '78, pp 357-380, Amsterdam, 1979, North-Holland. MR 82d:03079
  • 10. S. Shelah, Proper Forcing. Berlin, 1982, Springer-Verlag. MR 84h:03002
  • 11. S. Shelah, Cardinal Arithmetic. Oxford, 1994, Oxford University Press. MR 96e:03001
  • 12. H. Woodin, Supercompact cardinals, sets of reals and weakly homogeneous trees. Proceedings of the National Academy of Sciences of the USA, 85:6587-6591. MR 89m:03040

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 03E05, 03E35

Retrieve articles in all journals with MSC (1991): 03E05, 03E35


Additional Information

James Cummings
Affiliation: Department of Mathematics 2-390, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139
Address at time of publication: Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213-3890
Email: cummings@math.mit.edu, jcumming@andrew.cmu.edu

DOI: https://doi.org/10.1090/S0002-9939-97-03995-6
Keywords: Squares, pcf, successors of singulars, good points
Received by editor(s): March 20, 1996
Communicated by: Andreas R. Blass
Article copyright: © Copyright 1997 American Mathematical Society

American Mathematical Society