Talks given while at the University of Pennsylvania

2009

• Trees, Sheaves and Definition by Recursion: Given at the University of Maryland Logic Seminar on Mar. 23, 2009, University of Pennsylvania Logic Seminar on Mar. 30, 2009, George Washington University Logic Seminar on Apr. 16, 2009, and the Boston Logic Seminar at MIT on Apr. 29, 2009 (pdf)

• Independence, the Continuum Hypothesis and Determinacy: Given at the University of Pennsylvania on Apr. 1, 2009 (pdf)

2008

• $\Gamma$-Ultrametric Spaces and Separated Presheaves: Given at the University of Pennsylania Logic Seminar on Nov. 3, 2008 and Nov. 17, 2008 (pdf)

• Relativized Grothendieck Topoi: Given at the University of Pennsylania Logic Seminar on Sep. 29, 2008, Oct. 20, 2008 and Oct. 27, 2008 (pdf)

• Vaught's Conjecture: Given at the George Washington University Logic Seminar on Apr. 18, 2008 and Apr. 23, 2008 (pdf)

• On The Quantifier Rank Spectra of Sentences of L_{\omega_1, \omega}: Given at the University of Pennsylania Logic Seminar
  
• Talk 1-3: On Feb. 18, 2008, Feb. 24, 2008 and Mar. 24, 2008 (pdf)
• Talk 4-5: On Apr. 7, 2008 and Apr. 14, 2008 (pdf)

2007

• Admissible Sets and Barwise Compactness: Given at the University of Pennsylania Logic Seminar on Nov. 26, 2007 (pdf)

• The Anti-Foundation Axiom: Given at the University of Pennsylania Logic Seminar on Nov. 5, 2007, Nov. 12, 2007, and Nov. 19, 2007 (pdf)

• Vaught's Conjecture: Given at the University of Pennsylania Logic Seminar on Mar. 12, 2007, Mar. 19, 2007, and Mar. 26 2007 (pdf)

2006

• Forcing: Given at the University of Pennsylania Logic Seminar
  
  • Talk 1-4: On Oct. 16, 2006, Nov. 6, 2006, Nov. 13, 2006 and Nov. 27, 2006 (pdf)
  • Talk 5: On Feb. 26, 2007 (pdf)

• Lindstrom's Theorem: Given at the University of Pennsylania Logic Seminar on Oct. 2, 2006 and Oct. 9, 2006 (pdf)