Following the viewpoint of pure procedural justice, we analyze a social decision procedure for choosing fair allocation rules in production economics, which is formulated as an extended Arrovian constitution that aggregates each profile of individual social welfare functios into a social social...

We examine the possibility of constructing social ordering functions, each of which associates a social ordering over the feasible pairs of allocations and allocation rules with each simple production economy. Three axioms on the admissible class of social ordering functions are introduced,...