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

This page was created by Nate
Ackerman, and last revised on November 1, 2010.