Neat, but this looks equivalent to Harsanyi to me.
Harsanyi’s theorem concerns a “social welfare function” that society is supposed to maximize. The present theorem makes no such assumption.
Well, instead it concerns an “individual welfare function” that an individual is supposed to maximize, and the individual is assumed to be composed of VNM-rational subindividuals. Sure, it’s a different flavor, but is there anything else different?
It only assumes the VNM-rational subindividuals, and derives the existence of the overall welfare function.
I didn’t notice until reading your comment that your theorem gives an answer to the question of why the aggregation should be VNM-rational.
Harsanyi’s theorem concerns a “social welfare function” that society is supposed to maximize. The present theorem makes no such assumption.
Well, instead it concerns an “individual welfare function” that an individual is supposed to maximize, and the individual is assumed to be composed of VNM-rational subindividuals. Sure, it’s a different flavor, but is there anything else different?
It only assumes the VNM-rational subindividuals, and derives the existence of the overall welfare function.
I didn’t notice until reading your comment that your theorem gives an answer to the question of why the aggregation should be VNM-rational.