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, Part 5 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, November 28, 2016 Time: 5:00 pm Location: Wean Hall 8201 Submitted by: Grossberg |