I started the page K is recursively enumerable.

I continued reading the reflective oracles paper. I got to the statement of theorem 4.1 and realized I should probably be more comfortable with game theory first. So I started going through Myerson’s book. Meta comment: this was the plan from the beginning (to try to read an AI safety paper and see where I get stuck from not having background), although I didn’t know where I would get stuck. I plan to read more papers in this way so that I can build up a better model of the topic dependencies.