Time:  12:00  13:20 
Room: 
Doherty Hall 4303

Speaker: 
William Boney CMU 
Title: 
Model theory of L_{omega_1, omega} III

Abstract: 
This week, we continue our discussion of L_{\omega_1, \omega} by discussing elementary chains. We will discuss applications of this to extending models of set theory and another two cardinal theorem. As a bonus, we will also talk about L(Q), which is logic with the quantifier "there exist uncountably many." There will eventually be notes from this series of talks. 