Logic Workshop

November 30
Nate Ackerman, Harvard University
Vaught's Conjecture For A Grothendieck Topos

In this talk we will give background on $\mathcal{L}_{\infty, \omega}(L)$, categorical logic as well as Grothendieck topoi. We will then show how to make precise a version of Vaught's conjecture for a Grothendieck topos as well as discuss various analogs of Morley's theorem which hold in Grothendeick topoi. If we have time we will also briefly discuss analogs of other theorems of $\mathcal{L}_{\infty, \omega}$ for Grothendieck topoi.