| 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. |