Skip to main content Accessibility help

Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω 1

  • Benjamin Claverie (a1) and Ralf Schindler (a1)


If the Bounded Proper Forcing Axiom BPFA holds, then Mouse Reflection holds at ℵ2 with respect to all mouse operators up to the level of Woodin cardinals in the next ZFC-model. This yields that if Woodin's ℙmax axiom (*) holds, then BPFA implies that V is closed under the “Woodin-in-the-next-ZFC-model” operator. We also discuss stronger Mouse Reflection principles which we show to follow from strengthenings of BPFA, and we discuss the theory BPFA plus “NS ω1 is precipitous” and strengthenings thereof. Along the way, we answer a question of Baumgartner and Taylor, [2, Question 6.11].



Hide All
[1] Bagaria, J., Bounded forcing axioms as principles of generic absoluteness, Archive for Mathematical Logic, vol. 39 (2000), pp. 393401.
[2] Baumgartner, J.E. and Taylor, A.D., Saturation properties of ideals in forcing extensions. II, Transactions of the American Mathematical Society, vol. 271 (1982), pp. 587609.
[3] Busche, D. and Schindler, R., The strength of choiceless patterns of singular and weakly compact cardinals, Annals of Pure and Applied Logic, vol. 159 (2009), pp. 198248.
[4] Claverie, B. and Schindler, R., Increasing u2 by a stationary set preserving forcing, this Journal, vol. 74 (2009), pp. 187200.
[5] Doebler, Ph. and Schindler, R., Π2 consequences of BMM plus NS is precipitous and the semiproperness of all stationary set preserving forcings, Mathematical Research Letters, vol. 16 (2009), no. 5, pp. 797815.
[6] Feng, C., Magidor, M., and Woodin, W.H., Universally Baire sets of reals, Set theory of the continuum (Judah, et al., editor), MSRI Publications, vol. 26, Springer-Verlag, Heidelberg, 1992, pp. 203242.
[7] Fuchs, G., Neeman, I., and Schindler, R., A criterion for coarse iterability. Archive for Mathematical Logic, vol. 49 (2010), pp. 447468.
[8] Goldstern, M. and Shelah, S., The hounded proper forcing axiom, this Journal, vol. 60 (1995), pp. 5873.
[9] Hjorth, G., The influence of u2 , Ph.D. thesis, UC Berkeley, 1993.
[10] Jech, T., Set theory. Springer-Verlag, 2002.
[11] Jensen, R., The fine structure of the constructible hierarchy. With an appendix of J. Silver, Annals of Mathematical Logic, vol. 4 (1972), pp. 229308.
[12] Jensen, R., Schimmerling, E., Schindler, R., and Steel, J., Stacking mice, this Journal, vol. 74 (2009), pp. 315335.
[13] Jensen, R. and Steel, J., In Preparation.
[14] Ketchersid, R., Larson, P., and Zapletal, J., Increasing and Namba style forcing, this Journal. vol. 72 (2007), pp. 13721378.
[15] Mitchell, W. and Schimmerling, E., Weak covering without countable closure, Mathematical Research Letters, vol. 2 (1995), pp. 595609.
[16] Schimmerling, E., Combinatorial principles in the core model for one Woodin cardinal. Annals of Pure and Applied Logic, vol. 74 (1995), pp. 153201.
[17] Schimmerling, E. and Steel, J., The maximality of the core model. Transactions of the American Mathematical Society, vol. 351 (1999), pp. 31193141.
[18] Schimmerling, E. and Zeman, M.. Square in core models. The Bulletin of Symbolic Logic, vol. 7 (2001), pp. 305314.
[19] Schimmerling, E., Characterization of ֊ i in core models, Journal of Mathematical Logic, vol. 4 (2004), pp. 172.
[20] Schindler, R., Proper forcing and remarkable cardinals II, this Journal, vol. 66 (2001), pp. 14811492.
[21] Schindler, R., Semi-proper forcing, remarkable cardinals, and bounded Martin s maximum. Mathematical Logic Quarterly, vol. 50 (2004), pp. 5270–532.
[22] Schindler, R., Iterates of the core model, this Journal, vol. 71 (2006), pp. 241251.
[23] Schindler, R. and Steel, J., The self-iterability of L[E], this Journal, vol. 74 (2009), pp. 751779.
[24] Shelah, S., Iterated forcing and normal ideals on ω1 , Israel journal of Mathematics, vol. 60 (1987), pp. 345380.
[25] Steel, J., The core model iterability problem, Lecture Notes in Logic, vol. 8, Springer-Verlag, 1993.
[26] Steel, J., Projectively well-ordered inner models. Annals of Pure and Applied Logic, vol. 74 (1995), pp. 77104.
[27] Steel, J., Outline of inner model theory, Handbook of set theory (Foreman, and Kanamori, , editors). Springer-Verlag, 2010, pp. 15951684.
[28] Steel, J. and Zoble, S., Determinacy from strong reflection, submitted.
[29] Todorčević, S., A note on the proper forcing axiom. Axiomatic set theory (Boulder, Colorado, 1983), Contemporary Mathematics, vol. 31, American Mathematical Society, 1983, pp. 209218.
[30] Todorčević, S., Localized reflection and fragments of PFA, Logic and scientific methods, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 259, American Mathematical Society, 1997, pp. 145155.
[31] Woodin, W.H., The axiom of determinacy, forcing axioms, and the nonstationary ideal, de Gruyter, 1999.
[32] Zeman, M., Inner models and large cardinals, de Gruyter Series in Logic and its Application, vol. 5, de Gruyter, Berlin, New York, 2002.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed