We study dominant strategy incentive compatibility in a mechanism design setting with contingent contracts where the payoff of each agent is observed by the principal and can be contracted upon. Our main focus is on the class of linear contracts (one of the most commonly used contingent...

We study mechanism design in a setting where agents know their types but are uncertain about the utility from any alternative. The final realized utility of each agent is observed by the principal and can be contracted upon. In such environments, the principal is not restricted to using only...

We study mechanism design in a setting where agents know their types but are uncertain about the utility from any alternative. The lnal realized utility of each agent is observed by the principal and can be contracted upon. In such environments, the principal is not restricted to using only...

We consider dominant strategy implementation in private values settings, when agents have multi-dimensional types, the set of alternatives is finite, monetary transfers are allowed, and agents have quasi-linear utilities. We focus on private-value environments. We show that any implementable and...

We consider implementation of a deterministic allocation rule using transfers in quasi-linear private values environments. We show that in multidimensional single peaked type spaces, an allocation rule is implementable if and only if it satisfies a familiar and simple condition called 2-cycle...

We consider the problem of choosing a partition of a set of objects by a set of agents. The private information of each agent is a strict ordering over the set of partitions of the objects. A social choice function chooses a partition given the reported preferences of the agents. We impose a...

We consider deterministic dominant strategy implementation in multidimensional dichotomous domains in private values and quasi-linear utility setting. In such multidimensional domains, an agent's type is characterized by a single number, the value of the agent, and a non-empty subset of...

<Para ID="Par1">We study mechanism design in quasi-linear private values environments when there are two alternatives. We show that under a mild range condition, every implementable allocation rule is a generalized utility function maximizer. In unbounded domains, if we replace our range condition by an...</para>