Talks given while at the University of California, Berkeley

2010

• The Number of Countable Models: Given at the Model Theory Seminar at the University California, Berkeley on Oct. 22, 2010 (pdf)
  

• Cute and Cuddly Topoi: Given at the Model Theory Seminar at the University California, Berkeley on Sep. 24, 2010 (pdf)
  

• The Number of Countable Models in a Grothendieck Topos: Given at the CT210 Conference in Genova, Italy on Jun. 21, 2010 (pdf)
  

2009

• Computability of 0-1 Laws: 
• Given at the University of Pennsylvania Logic Seminar on Nov. 23, 2009 (pdf)
• Given at the Stanford Logic Colloquium on Dec. 7, 2010  (pdf)

• Relativized Grothendieck Toposes and Potential Maps:
  
• Given at the Novermberfest Category Theory Conference at Carnagie Mellon University on Nov. 14, 2009  (pdf)
• Given at the Stanford Logic Colloquium on Mar. 2, 2010  (pdf)
  

• Gamma-Ultrametric Spaces and Separated Presheaves: Given at the Recursion Theory Seminar at the University California, Berkeley on Oct. 19, 2009 and Oct. 26, 2009 (pdf)
  

• Trees, Sheaves and Definition by Recursion:
  
• Given at the University of California, Berkeley Logic Colloquium on Oct. 9, 2009 (pdf)
• Given at the ASL/AMS Joint Meetings in San Francisco on Jan. 16, 2010 (pdf)

• Querying The Universe: The Dodd-Jensen Core Model and Ordinal Turing Machines: Given at the Effective Mathematics of the Uncountable Conference at CUNY on Aug. 21, 2009 (pdf)