Abraham, U., Proper forcing, Handbook of Set Theory (Foreman, M., Kanamori, A., and Magidor, M., editors), to appear.
Asperó, D. and Welch, P., Bounded Martin's Maximum, weak Erdős cardinals and ψAC, this Journal, vol. 67 (2002), no. 3, pp. 1141–1152.
Baumgartner, J. E., Hajnal, A., and Máté, A., Weak saturation properties of ideals, Infinite and Finite Sets, vol. I (Hajnal, A., Rado, R., and Sós, V. T., editors), North-Holland, Amsterdam, 1975, pp. 137–158.
Foreman, M., Magidor, M., and Shelah, S., Martin's Maximum. saturated ideals, and non-regular ultrafilters. Part I, Annals of Mathematics, vol. 127 (1988), pp. 1–47.
Goldring, N., Woodin cardinals and presaturated ideals. Annals of Pure and Applied Logic, vol. 55 (1992), no. 3, pp. 285–303.
Groszek, M. and Slaman, T.A., A basis theorem for perfect sets. The Bulletin of Symbolic Logic, vol. 4 (1998), no. 2, pp. 204–209.
Jech, T., Set Theory, the third millennium edition, revised and expanded ed., Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.
Jensen, R. M., Solovay, R. B., Some applications of almost disjoint sets, Mathematical Logic and Foundations of Set Theory (Proceedings of the International Colloquium, Jerusalem, 1968), North-Holland, Amsterdam, 1970, pp. 84–104.
Kanamori, A., The higher infinite. Large cardinals in set theory from their beginnings, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1994.
Larson, P., A uniqueness theorem for iterations, this Journal, vol. 67 (2002), no. 4, pp. 1344–1350.
Larson, P., The stationary tower. Notes on a course by W. Hugh Woodin, American Mathematical Society University Lecture Series, vol. 32, 2004.
Larson, P., The canonical function game, Archive for Mathematical Logic, vol. 44 (2005), no. 7, pp. 581–595.
Larson, P., Forcing over models of determinacy, Handbook of Set Theory (Foreman, M., Kanamori, A., and Magidor, M., editors), to appear.
Larson, P., Reals constructible from many countable sets of ordinals, preprint.
Moore, J. T., A solution to the L-space problem and related ZFC constructions, preprint.
Nyikos, P., Crowding offunctions, para-saturation of ideals, and topological applications, Topology Proceedings, vol. 28 (2004), no. 1, pp. 241–266.
Shelah, S., Proper and improper forcing, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998.
Steel, J. and Van Wesep, R., Two consequences of determinacy consistent with choice. Transactions of the American Mathematical Society, vol. 272 (1982), no. 1, pp. 67–85.
Taylor, A. D., Regularity properties of ideals and ultrafilters, Annals of Mathematical Logic, vol. 16 (1979), no. 1, pp. 33–55.
Todorcevic, S., Coherent sequences, Handbook of Set Theory (Foreman, M., Kanamori, A., and Magidor, M., editors), to appear.
Todorcevic, S., A note on the proper forcing axiom, Axiomatic Set Theory (Boulder, Colorando), 1983, Also, in Contemporary Mathematics, vol. 31 (1984), American Mathematical Society, Providence, RI, pp. 209–218.
Todorcevic, S., Partitioning pairs of countable ordinals, Acta Mathematica, vol. 159 (1987), no. 3–4, pp. 261–294.
Woodin, W.H., Some consistency results in ZFC using AD, Cabal Seminar 79–81, Lecture Notes in Mathematics, vol. 1019, Springer, Berlin, 1983, pp. 172–198.
Woodin, W.H., The axiom of determinacy, forcing axioms, and the nonstationary ideal, DeGruyter Series in Logic and its Applications, vol. 1, 1999.
Zapletal, J., Strongly almost disjoint functions, Israel Journal of Mathematics, vol. 97 (1997), pp. 101–111.