AIM workshop: Generalized logics and inner models

lo.logic
Start Date
2026-10-26
End Date
2026-10-30
Institution
American Institute of Mathematics
City
Pasadena, CA
Country
United States
Meeting Type
workshop
Homepage
https://aimath.org/workshops/upcoming/logicinner/
Contact Name
Michelle Manes
Created
4/6/26, 7:17 PM
Modified
4/6/26, 7:17 PM

Description

This workshop, sponsored by AIM and the NSF, will focus on connections between two kinds of inner models for Set Theory. The first is the well studied family of extender models, i.e. fine-structural models designed to contain large cardinals by incorporating extender sequences. The second is the new family of inner models, e.g. the aa-model, arising from extended logics, which has the potential to bring completely new insights into set theory. The area of properties of the new inner models as well as connections between the two kinds of inner models abounds in open problems and the forthcoming workshop provides an ideal opportunity for trying to solve them.

Problems?

If you notice a problem with this entry, please contact the curators by email.