The kind of AI cooperation discussed by Eliezer is not the type discussed as "program equilibrium".

Fixed, thanks.

In your research, did you fail to find previous academic work for some elements of the sequences?

I didn't look very hard. I merely thought about the stuff I already knew about, and then picked a subset of those things to list here.