Graduate Programs
Graduate Home
Ph D Programs
Masters Degree
Ph D Program Requirements
Course Descriptions
Current Courses
Admissions
Current Graduate Students
Graduate Student Seminar
SIAM Chapter Seminar
Recent Graduates
Incoming Students

Graduate Seminar
Sebastien Vasey Carnegie Mellon University Title: Nonelementary model theory Abstract: Classically, model theorists have studied classes of models satisfying a fixed set of axioms, where the axioms can be described using only quantification over elements (not sets), and the disjunctions and conjunctions can only be finite. For some obscure reason, such classes are now called elementary classes.In this talk, I will explain why studying elementary classes may not be enough, and will discuss frameworks that allow one to study classes axiomatized by axioms with infinite conjunctions and disjunctions. This includes the socalled abstract elementary classes (AECs), developed by Shelah in the mid seventies, which are a kind of concrete category closed under directed colimits. I will present some of the results of my thesis on AECs: the eventual categoricity conjecture for universal classes and generalizations of linear independence from linear algebra to certain nice kind of AECs. Date: Tuesday, February 21, 2017 Time: 5:30 pm Location: Wean Hall 8220 Submitted by: Yangxi Ou Note: Video on YouTube: https://youtu.be/Ar32eZ7w7QE 