Week 3, 27 January 2015 (16:00-18:00, 52 Pritchatts Road LT1)

Andrew Brooke-Taylor (Bristol)

Title: AEC categoricity, category theory and large cardinals


Classical model theory has many powerful results about models for first order theories, and in recent years there have been moves to try to mimic these results in a more general setting. But what is a good setting to do this in? The answer that has emerged from the model theory community is that of Abstract Elementary Classes (AECs); the answer from the category theory world is that of accessible categories. Recently Lieberman and Rosicky have shown that there is an intimate connection between these settings. They further show that a major recent result about AECs follows from known results about accessible categories - specifically, Boney's result that the Shelah Categoricity Conjecture for Successors holds assuming there is a proper class of strongly compact cardinals. I will talk about recent joint work with Rosicky, in which we improve these results, reducing the large cardinal assumption needed.

About the seminar

The Midlands Logic Seminar was founded in 2011 and aims to cover all areas of mathematical logic, as well as related areas of theoretical computer science and philosophy of mathematics.


All meetings for Term 2, 2014-15 will be Tuesday from 16:00-18:00 in room LT1, 52 Pritchatts Road on the campus of the University of Birmingham.
  • campus map
  • google maps
    To get to campus, take the train from Birmingham New Street to the University stop (7 minutes).


    Dr Richard Kaye
    School of Mathematics
    University of Birmingham


    Dr Walter Dean
    Department of Philosophy
    University of Warwick