The paper fully characterizes the class of Nash implementable social choice correspondences (SCCs) by mechanisms endowed with Saijo’s message space specification—<InlineEquation ID="IEq1"> <EquationSource Format="TEX">$$s$$</EquationSource> </InlineEquation>-mechanisms. This class of SCCs is equivalent to the class of Nash implementable SCCs, though any game form involving...</equationsource></inlineequation>

This paper discusses and develops “non-welfaristic” arguments on distributive justice à la J. Rawls and A. K. Sen, and formalizes, in cooperative production economies, “non-welfaristic” distribution rules as game form types of resource allocation schemes. First, it conceptualizes Needs...