Mathematical logic seminar - April 13 2010

Time: 12:00 - 13:20

Room: PPB 300 (next to Facilities Management Services)

Speaker:     Greggo Johnson   

Title: Abstract elementary classes and infinitary logic II

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.