In this paper, we revisit a long-standing question on the structure of strategy-proof and Pareto-efficient social choice functions (SCFs) in classical exchange economies (Hurwicz (1972)). Using techniques developed by Myerson in the context of auction-design, we show that in a specific...

In this paper, we revisit a long-standing question on the structure of strategy-proof and Pareto-efficient social choice functions (SCFs) in classical exchange economies (Hurwicz (1972)). Using techniques developed by Myerson in the context of auction-design, we show that in a specific...

In this paper, we revisit a long-standing question on the structure of strategy-proof and Pareto-efficient social choice functions (SCFs) in classical exchange economies (Hurwicz (1972)). Using techniques developed by Myerson in the context of auction-design, we show that in a specific...

This paper characterizes lexicographic preferences over alternatives that are identified by a finite number of attributes. We say two alternatives are 'totally different' if they are different with respect to every attribute. Our characterization is based on two key concepts: a weaker notion of...

This paper characterizes lexicographic preferences over alternatives that are identified by a finite number of attributes. Our characterization is based on two key concepts: a weaker notion of continuity called 'mild continuity' (strict preference order between any two alternatives that are...

This paper characterizes lexicographic preferences over alternatives that are identified by a finite number of attributes. We say two alternatives are 'totally different' if they are different with respect to every attribute. Our characterization is based on two key concepts: a weaker notion of...

In a sequencing problem with linear time cost, Suijs (1996) proved that it is possible to achieve first best. By first best we mean that one can find mechanisms that satisfy efficiency of decision, dominant strategy incentive compatibility and budget balancedness. In this paper we show that...