Baumgartner, J., Malitz, J., and Reinhardt, W., Embedding trees in the rationals, Proceedings of the National Academy of Sciences of the United States of America, vol. 67 (1970), pp. 1748–1753.
Bekkali, M., Topics in set theory, Lecture Notes in Mathematics, vol. 1476, Springer-Verlag, Berlin, 1991, Notes on lectures by Stevo Todorčević.
Dodd, Tony and Jensen, Ronald, The covering lemma for K, Annals of Mathematical Logic, vol. 22 (1982), no. 1, pp. 1–30.
Goldstern, Martin and Shelah, Saharon, The bounded proper forcing axiom, this Journal, vol. 60 (1995), no. 1, pp. 58–73.
Jech, Thomas, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003, The third millennium edition, revised and expanded.
Miyamoto, Tadatoshi, A note on weak segments of PFA, Proceedings of the Sixth Asian Logic Conference (Beijing, 1996), World Scientific Publishing, River Edge, NJ, 1998, pp. 175–197.
Neeman, Itay and Schimmerling, Ernest, Hierachies of forcing axioms I, this Journal, vol. 73 (2008), no. 1, pp. 343–362.
Schimmerling, Ernest, Combinatorial principles in the core model for one Woodin cardinal, Annals of Pure and Applied Logic, vol. 74 (1995), no. 2, pp. 153–201.
Schimmerling, Ernest, Coherent sequences and threads, Advances in Mathematics, to appear.
Schimmerling, Ernest and Zeman, Martin, Square in core models, The Bulletin of Symbolic Logic, vol. 7 (2001), no. 3, pp. 305–314.
Schimmerling, Ernest and Zeman, Martin, Characterization of ☐κ in core models, Journal of Mathematical Logic, vol. 4 (2004), no. 1, pp. 1–72.
Steel, John R., PFA implies ADL(ℝ), this Journal, vol. 70 (2005), no. 4, pp. 1255–1296.
Todorčević, Stevo, A note on the proper forcing axiom, Axiomatic set theory (Boulder, CO, 1983), Contemporary Mathematics, vol. 31, American Mathematical Society, Providence, RI, 1984, pp. 209–218.
Todorčević, Stevo, Localized reflection and fragments of PFA, Set theory (Piscataway, NJ, 1999), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 58, American Mathematical Society, Providence, RI, 2002, pp. 135–148.
Veličković, Boban, Forcing axioms and stationary sets, Advances in Mathematics, vol. 94 (1992), no. 2, pp. 256–284.
Welch, Phillip D., Ph.D. thesis, Oxford University, 1979.
Zeman, Martin, Inner models and large cardinals, de Gruyter Series in Logic and its Applications, vol. 5, Walter de Gruyter & Co., Berlin, 2002.
Zeman, Martin, Global square on singular cardinals, to appear.