I assume that the book list is somewhat relevant, due to the fact that MIRI hosts FAI research groups and cultivates the book list with the stated purpose of outlining relevant subjects. That said, I am not treating the list as sacred.
For one thing, I’m jumping around to the subjects that seem relevant to the current research. (Category Theory and Set Theory were warm-ups for Model Theory, with which I am not familiar.)
For another, as I said in the OP
I’ve been collecting suggestions from people close to the research, further suggestions are welcome.
Luke has already pointed me towards some Provability Theory texts that I plan to read through after finishing Model Theory. The MIRI course list seemed like a good starting place, but I have no qualms about deviating from it.
(Edited to address your clarifications)
I assume that the book list is somewhat relevant, due to the fact that MIRI hosts FAI research groups and cultivates the book list with the stated purpose of outlining relevant subjects. That said, I am not treating the list as sacred.
For one thing, I’m jumping around to the subjects that seem relevant to the current research. (Category Theory and Set Theory were warm-ups for Model Theory, with which I am not familiar.)
For another, as I said in the OP
Luke has already pointed me towards some Provability Theory texts that I plan to read through after finishing Model Theory. The MIRI course list seemed like a good starting place, but I have no qualms about deviating from it.