**$\kappa$-Polish Spaces:**Given at Boston Logic Seminar at MIT**Talk 1**: On Mar. 8, 2003 (dvi, pdf)**Talk 2**: On Mar. 15, 2003 (MS Journal)

**Possible Scott Ranks of Formulas of Low Quantifier Rank**: Given at the "Classification of Countable Models: Work growing out of Vaught's Conjecture Workshop" at the University of Notre Dame on May 20, 2005

**Regular Categories and Coherent Logic:**Given at Boston Logic Seminar at MIT on Mar. 9, 2005 (MS Journal)

**Topos Theory and Zermelo Set Theory:**Given at Boston Logic Seminar at MIT**Talk 1**: On Oct. 27, 2004 (MS Journal)**Talk 2**: On Nov. 3, 2004 (MS Journal)

**Boolean Valued Models and Forcing:**Set Theory Seminar**Talk 1**: On Oct. 31, 2003 (MS Journal)**Talk 2**: On Nov. 7, 2003 (MS Journal)

**Iterated Ultrapowers and Mice:**Given at Boston Logic Seminar at MIT**Talk 1**: On Oct. 29, 2003 (MS Journal)**Talk 2**: On Nov. 5, 2003 (MS Journal)

**ZFC_0 neq ZFC_(aleph_0) neq ZFC_(aleph_1) neq ZFC_(st):**Given at Boston Logic Seminar at MIT on Mar. 6, 2002 (dvi, postscript)

**Maximally Conditions for L_(w, w) and L_(infinty, w) (Nov. 13, 2002):**Given at Boston Logic Seminar at MIT on Nov. 13, 2002 (dvi, postscript)

**Iterated Perfect Set Forcing**: Given at__Set Theory__(18.585) at MIT on Nov. 15, 2001 ((MS Word) Section 1.1, Section 1.2, Section 2.1, Section 2.2, Section 2.3, Section 3,)

**Omega_1-Suslin Tree's and Diamond**: Given at__Set Theory__(18.585) at MIT on Oct. 16, 2001 and Oct. 18, 2001 (dvi, postscript)

**Lindstrom's Theorem**: Given at Student Seminar at MIT on Sep. 14, 2001 (dvi, postscript)

**Talk on "On The Number of Countable Models of a Countable Supersimple Theory" by Byunghan Kim**: Given at__Model Theory__(18.575) at MIT on May 15, 2001 (dvi, postscript)

**Jensen's Covering Theorem**: Given at Boston Logic Seminar**Talk 1**: On Apr. 25, 2001 (dvi, postscript)**Talk 2**: On May 9, 2001 (dvi, postscript)

**Godel's Theorem**: Given at PUMA GRASS at MIT on March 23, 2001 (MS Word)

This page was created by Nate Ackerman, and last revised on October 30, 2008.