\begin{thebibliography}{1}

\bibitem{FoMagSh}
Matthew Foreman, Menachem Magidor, and Saharon Shelah.
\newblock Martin's {M}aximum, saturated ideals, and nonregular ultrafilters.
  {I}.
\newblock {\em Ann. of Math. (2)}, 127(1):1--47, 1988.

\bibitem{JenSo}
Ronald~B. Jensen and Robert~M. Solovay.
\newblock Some applications of almost disjoint sets.
\newblock In {\em Mathematical Logic and Foundations of Set Theory (Proc.
  Internat. Colloq., Jerusalem, 1968)}, pages 84--104. North-Holland,
  Amsterdam, 1970.

\bibitem{Kak}
Yuzuru Kakuda.
\newblock On a condition for {C}ohen extensions which preserve precipitous
  ideals.
\newblock {\em J. Symbolic Logic}, 46(2):296--300, 1981.

\bibitem{Kan}
Akihiro Kanamori.
\newblock {\em The higher infinite}.
\newblock Springer Monographs in Mathematics. Springer-Verlag, Berlin, second
  edition, 2003.
\newblock Large cardinals in set theory from their beginnings.

\bibitem{Lxx}
Paul~B. Larson.
\newblock Forcing over models of determinacy.
\newblock In {\em Hanbook of Set Theory}.
\newblock Foreman, Magidor, eds., to appear.

\bibitem{L}
Paul~B. Larson.
\newblock {\em The stationary tower}, volume~32 of {\em University Lecture
  Series}.
\newblock American Mathematical Society, Providence, RI, 2004.
\newblock Notes on a course by W. Hugh Woodin.

\bibitem{Mag80}
Menachem Magidor.
\newblock Precipitous ideals and {${\bf \Sigma }\sb{4}\sp{1}$} sets.
\newblock {\em Israel J. Math.}, 35(1-2):109--134, 1980.

\bibitem{MarSt89}
Donald~A. Martin and John~R. Steel.
\newblock A proof of projective determinacy.
\newblock {\em J. Amer. Math. Soc.}, 2(1):71--125, 1989.

\bibitem{Woo99}
W.~Hugh Woodin.
\newblock {\em The axiom of determinacy, forcing axioms, and the nonstationary
  ideal}, volume~1 of {\em de Gruyter Series in Logic and its Applications}.
\newblock Walter de Gruyter \& Co., Berlin, 1999.

\end{thebibliography}
