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. 