Track 1: HOD as a Core Model by John Steel and Hugh Woodin
Track 2: Structural Consequences of AD by Stephen Jackson
Track 3: Invariant Descriptive Set Theory by Su Gao
Track 4: The Core Model Iterability Program by John Steel
Pop Math: Infinitesimal by Amir Alexander
It was a good week of progress, despite having to deal with class schedules and financial aid. Competing administrative requests make for an unhappy grad student. I feel like I'm developing a cool library of equivalence relations from Gao, and on that note it looks like we will be working together on a short project sometime this year. I would like, eventually, to have work done in descriptive inner model theory, invariant descritive set theory, and non-standard analysis. CMIP is slow going, but it takes time to work through sucha barrage of detail. I'm definitely a little caught off guard by how much it relies on FSIT. Between Jackson's qork and Gao's, I am struck by how we simulatenously know so much about complexity in the AD context, and how we little we know in general.
No comments:
Post a Comment