- Homogeneously Suslin sets, talk given at conference in honor of D.A. Martin, U.C. Berkeley, June 2001 postscript.
- Inner model theory, talk given at conference in honor of Ronald Jensen, Humboldt University, October 2001. postscript.
- Models derived from mice, talk given at the VIG in honor of Yiannis Moschovakis, UCLA, January 2003. (There are two postcript files here because I had technical problems. It is easy to see how the two sets of slides they code fit together.) postscript , and also .
- {\sf PFA} implies {\sf AD} in L(R), talk given at the special session in inner model theory and infinitary combinatorics, annual meeting of the AMS, Phoenix Az., January 2004. postscript.
- Generic absoluteness and the Continuum Problem, talk given at the Laguna workshop on philosophy and the Continuum Problem (P. Maddy and D. Malament organizers), March 2004. postscript.
- Self-iterability and correctness for extender models (abstract of talk at Oberwohlfach, Dec. 2005). pdf.
- Godel's Program, general-audience talk given at the Wissenschaftskolleg zu Berlin, March 14, 2006. powerpoint.
- Godel's legacy, talk for panel discussion at European summer meeting of the ASL, Nijmegen, August 2006. postscript.
- Some correctness results for extender models, plenary lecture, European summer meeting of the ASL, Nijmegen, August 2006. postscript.
- The consistency strength of ADR, talk for special session in set theory, annual meeting of ASL, Irvine, March 2008. postscript.
- More mice, given in different versions at the ASL annual meeting, Notre Dame May 2009, logic colloquium Muenster June 2009, and Bedlewo meeting in honor of Ronald Jensen in July 2009. pdf.
- The triple helix, given in different versions at U. Penn philosophy meeting October 2010, and Harvard EFI talk March 2012. pdf.
- Godel's program, given at CSLI meeting at Stanford, June 1, 2013. pdf.
- Least branch hod pairs, given at Kilpisjarvi Finland January 2017, and at Oberwohlfach February 2017. pdf.

Return to Steel's
homepage

g Last modified: Mon Aug 28 11:15:56 PDT 2000