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.