From my work so far, I get the sense that you’ll be able to tell if you’re learning the material diligently. I also think that if you follow the list, you’ll be proficient enough to know when you need to look stuff up. Honestly, I’d just jump in with the easier material and ramp up. Even the basic set theory I learned has already paid substantial dividends, from notation legibility, to being able to quickly translate certain questions into set theory, prove them in ZF, and then translate back.
Aside: if you want a study partner, feel free to message me to work together and/or join Diffractor’s Discord. It’s basically a MIRI study group.
From my work so far, I get the sense that you’ll be able to tell if you’re learning the material diligently. I also think that if you follow the list, you’ll be proficient enough to know when you need to look stuff up. Honestly, I’d just jump in with the easier material and ramp up. Even the basic set theory I learned has already paid substantial dividends, from notation legibility, to being able to quickly translate certain questions into set theory, prove them in ZF, and then translate back.
Aside: if you want a study partner, feel free to message me to work together and/or join Diffractor’s Discord. It’s basically a MIRI study group.