Department of         Mathematical Sciences Events People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department Alumni Model Theory Seminar Marcos Mazari Armida Carnegie Melllon University Title: Categoricity of an AEC in three successive cardinals, The final talk Abstract: In this series of talks we will be working on Abstract Elementary Classes (AECs), a semantic generalization of first order Model Theory. One of the first things one looses when stepping out of the first order setting is the compactness theorem, which in particular assures us that if there is an infinite model then there is a model in each cardinality. What we will do in this series of talks is prove a theorem in this direction for AECs. More specically (under some cardinal arithmetic hypothesis) we will show that if an AEC K is categorical in $\lambda$, $\lambda^+$ and $\lambda^{++}$ then there is a model in K of size $\lambda^{+++}$. In order to do that we will have to develop many key concepts in the study of AECs like the concept of Galois Type, Reduced Type and Minimial Type. This talks will follow Saharon Shelah paper "Categoricity of an Abstract Elementary Class in two successive cardinals" [Sh576].Date: Monday, January 30, 2017Time: 5:00 pmLocation: Wean Hall 8201Submitted by:  Grossberg