### Mathematical logic seminar - May 6, 2008

 Time: 12:00 - 13:20 Room: Doherty Hall 4303 Speaker: Maryanthe Malliaris     Department of Mathematics UC Berkeley Title: Saturated ultrapowers of unstable theories Abstract: Abstract:I will show that saturation of regular ultrapowers of countable theories follows from realization of $\phi$-types, i.e., $M^\lambda/D$ is $\lambda^+$-saturated iff $M^\lambda/D$ realizes all $\lambda$-types restricted to a finite language.