Description
Midlands Logic Seminar talk: AEC categoricity, category theory and large cardinalsAbstract: 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.
Period  27 Jan 2015 

Event type  Seminar 
Location  Birmingham, United KingdomShow on map 
Keywords
 set theory
 model theory
 category theory
 large cardinal axioms
Documents & Links
Related content

Projects

Bringing set theory and algebraic topology together.
Project: Research