Mathematical logic seminar - October 20 2009

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.