I have always been fascinated by the Martin-Steel’s theorem ever since I understood its statement. More generally, I’m drawn to the deep interaction between large cardinal assumptions and the regularity properties of the reals. In March 2025, I decided to work towards these famous results by reading chapters 10-13 of Schindler’s text book. And I (proudly) finished the book on August 5th.
I also spent quite a lot of time solving the problems in the book, the following are the solutions for problems in Ch. 9-13. I’m not yet able to solve the following ones: 10.15, 12.9, 13.6.