I also left some comments on the EA Forum post pulling out the first two theorems and the definitions to state them in way that’s hopefully a bit more accessible, skipping some unnecessary jargon and introducing notation only just before it’s used, rather than at the start so you have to jump back. They’re still pretty technical, though. Upon reflection, it probably took me more time to write the comments than it’ll save people to read my comments instead of reading the parts of the paper where they’re found. :/
There are also several other theorems in that paper.
Thanks! Yeah I should have posted that both of these have now been published, so if anyone else reading this has a request for posts that they haven’t stated publicly, consider doing so!
On 2, see this post (a link post for this).
I also left some comments on the EA Forum post pulling out the first two theorems and the definitions to state them in way that’s hopefully a bit more accessible, skipping some unnecessary jargon and introducing notation only just before it’s used, rather than at the start so you have to jump back. They’re still pretty technical, though. Upon reflection, it probably took me more time to write the comments than it’ll save people to read my comments instead of reading the parts of the paper where they’re found. :/
There are also several other theorems in that paper.
Thanks! Yeah I should have posted that both of these have now been published, so if anyone else reading this has a request for posts that they haven’t stated publicly, consider doing so!