Current Reading:
Track 1: HOD as a Core Model by John Steel and Hugh Woodin
Track 2: Large Cardinals from Determinacy by Hugh Woodin
Track 3: Invariant Descriptive Set Theory by Su Gao
Track 4: An Introduction to Core Model Theory by John Steel
Pop Math: Infinitesimal by Amir Alexander
I am finally back to where I stopped in "HOD as a Core Model" before the slew of family drama started. I stopped at the wrong place when I went to deal with that. So I am almost done with HOD in L[x,G]. My advisor wants us to start reading the HOD in L(R) part starting next week, so the timing is almost perfect. I am at the main proof of "Large Cardinals from Determinacy," and its quite long. I am debating breaking it up into parts, as it is one proof. I think tomorrow I will just make a go of the whole thing. Tracks 3 and 4 are coming along nicely. I have dropped the bonus track for now, as I am not sure if I want to keep looking at Chang and Keisler. If I drop that I will go back to "Iterations of Rational Functions."
I decided to post this before I began reading Inifinitesimal today as I figured I would not be willing to make a post afterwards. Regularly updating this is harder than regularly doing research.
No comments:
Post a Comment