Department of Mathematical Sciences
Events
People
Colloquia and Seminars
Conferences
Centers
Positions
Areas of Research
About the Department
Alumni |
Model Theory Seminar
Sebastien Vasey Carnegie Melllon University Title: Categoricity and infinitary logics Part 1 Abstract: Abstract elementary classes (AECs) are a purely semantic framework to study the model theory of many different infinitary logics and algebraic classes. Roughly speaking, an AEC is a class of models together with a partial ordering satisfying some of the basic properties of elementary substructure in first-order model theory.In Chapter IV of his book on AECs, Shelah has shown that an AEC categorical (i.e. with a single model up to isomorphism) in a high-enough cardinal has, in some suitable cardinals, a structural property called amalgamation. A key lemma in his proof is that in an AEC categorical in a high-enough cardinal, the partial ordering ends up being exactly (at least on a tail of the class) the elementary substructure relation of an infinitary logic.Recently, Will Boney and the speaker identified a gap in Shelah's proof of the key lemma. In this series of talks, we will explain what the gap is and how to fix it. The proof is combinatorial, the main ingredients being model-theoretic forcing and the proper class version of Fodor's lemma. The talks will be self-contained and all the required background on AECs will be introduced as we go along. This is joint work with Will Boney. Date: Monday, September 21, 2015 Time: 5:00 pm Location: Wean Hall 7201 |