cousin_it comments on Decision Theories: A Semi-Formal Analysis, Part I

[cousin_it]

I just wrote up the proof Nesov is talking about, here.