[1]
Bagaria, J., Bounded forcing axioms as principles of generic absoluteness, Archive for Mathematical Logic, vol. 39 (2000), pp. 393–401.

[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. 587–609.

[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. 198–248.

[4]
Claverie, B. and Schindler, R., Increasing u_{2} by a stationary set preserving forcing, this Journal, vol. 74 (2009), pp. 187–200.

[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. 797–815.

[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. 203–242.

[7]
Fuchs, G., Neeman, I., and Schindler, R., A criterion for coarse iterability. Archive for Mathematical Logic, vol. 49 (2010), pp. 447–468.

[8]
Goldstern, M. and Shelah, S., The hounded proper forcing axiom, this Journal, vol. 60 (1995), pp. 58–73.

[9]
Hjorth, G., The influence of u_{2}
, 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. 229–308.

[12]
Jensen, R., Schimmerling, E., Schindler, R., and Steel, J., Stacking mice, this Journal, vol. 74 (2009), pp. 315–335.

[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. 1372–1378.
[15]
Mitchell, W. and Schimmerling, E., Weak covering without countable closure, Mathematical Research Letters, vol. 2 (1995), pp. 595–609.

[16]
Schimmerling, E., Combinatorial principles in the core model for one Woodin cardinal. Annals of Pure and Applied Logic, vol. 74 (1995), pp. 153–201.

[17]
Schimmerling, E. and Steel, J., The maximality of the core model. Transactions of the American Mathematical Society, vol. 351 (1999), pp. 3119–3141.

[18]
Schimmerling, E. and Zeman, M.. Square in core models. The Bulletin of Symbolic Logic, vol. 7 (2001), pp. 305–314.

[19]
Schimmerling, E., Characterization of ֊*
*_{i}
in core models, Journal of Mathematical Logic, vol. 4 (2004), pp. 1–72.

[20]
Schindler, R., Proper forcing and remarkable cardinals II, this Journal, vol. 66 (2001), pp. 1481–1492.

[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. 241–251.

[23]
Schindler, R. and Steel, J., The self-iterability of L[E], this Journal, vol. 74 (2009), pp. 751–779.

[24]
Shelah, S., Iterated forcing and normal ideals on ω_{1}
, Israel journal of Mathematics, vol. 60 (1987), pp. 345–380.

[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. 77–104.

[27]
Steel, J., Outline of inner model theory, Handbook of set theory (Foreman, and Kanamori, , editors). Springer-Verlag, 2010, pp. 1595–1684.

[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. 209–218.

[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. 145–155.

[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.