CMU Campus
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 Mellon
Title: Categoricity of an AEC in three successive cardinals, Part N+1

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 23, 2017
Time: 5:00 pm
Location: Wean Hall 8201
Submitted by:  Grossberg