A necessary and sufficient condition for dominant strategy implementability when preferences are quasilinear is that, for any individual i and any choice of the types of the other individuals, all k-cycles in i's allocation graph have nonnegative length for every integer k � 2. Saks and Yu...

The equivalence of markets and games concerns the relationship between two sorts of structures that appear fundamentally different -- markets and games. Shapley and Shubik (1969) demonstrates that: (1) games derived from markets with concave utility functions generate totally balanced games...

A social choice function satisfies the tops-only property if the chosen alternative only depends on each person's report of his most-preferred alternatives on the range of this function. On many domains, strategy-proofness implies the tops-only property, provided that the range of the social...

This article establishes versions of Moulin's [On strategy-proofness and single peakedness, Public Choice 35 (1980), 31--38] characterizations of various classes of strategy-proof social choice functions when the domain consists of all profiles of single-peaked preferences on an arbitrary subset...

Comparative static properties of the solution to an optimal nonlinear income tax problem are provided for a model in which the government both designs an income tax schedule for redistributive purposes and provides a public good optimally. There are two types of individuals, distinguished by...

We develop and explore a new model of the economics of privacy. Previous work has focused on "privacy of type," wherein an agent privately knows an immutable characteristic. We consider "privacy of action," wherein privacy means that an agent's choice of action is unobservable to others. To show...

This paper provides sufficient conditions to ensure nonemptiness of approximate cores of many-player games and symmetry of approximate core payoffs (the equal treatment property). The conditions are: (a) essential superadditivity -- an option open to a group of players is to partition into...

A voting procedure is candidate stable if no candidate would prefer to withdraw from an election when all of the other potential candidates enter. Dutta, Jackson, and Le Breton have recently established a number of theorems showing that candidate stability is incompatible with some other...

Arrow's axioms for social welfare functions are shown to be inconsistent when the set of alternatives is the nonnegative orthant in a multidimensional Euclidean space and preferences are assumed to be either the set of analytic classical economic preferences or the set of Euclidean spatial...

For exchange economies with classical economic preferences, it is shown that any strategy-proof social choice function that selects Pareto optimal outcomes cannot guarantee everyone a consumption bundle bounded away from the origin. This result demonstrates that there is a fundamental conflict...