Mathematical logic seminar - April 6 2010

Time: 12:00 - 13:20

Room: PPB 300 (next to Facilities Management Services)

Speaker:     Greggo Johnson   
CMU

Title: Abstract elementary classes and infinitary logic I

Abstract: The aim of this talk is to present some recent closure and axiomatizability results in abstract elementary classes (AECs). No background on AECs is assumed, so we will begin by introducing AECs and the motivation to study them. We will also go over some background on infinitary logics and approximations of models. Once the background is established, we will prove some interesting results regarding AECs with countable Lowenheim-Skolem numbers and if time discuss their generalizations to some higher cardinalities.