Talks given while at MIT

2006

• $\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)

2005

• 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
  • Abstract (pdf)
  • Talk (dvi, pdf)
  • Talk (Large Print) (dvi, pdf)

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

2004

• 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)

2003

• 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)

2002

• 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) 

2001

• 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)