Waitlists are often used to ration scarce resources, but the trade‐offs in designing these mechanisms depend on agents' preferences. We study equilibrium allocations under alternative designs for the deceased donor kidney waitlist. We model the decision to accept an organ or wait for a...

We consider estate division problems and show that for any claim game based on a (estate division) rule satisfying efficiency, equal treatment of equals, and order preservation of awards, all (pure strategy) Nash equilibria induce equal division. Next, we consider (estate division) rules...

A mediator is a reliable entity which plays on behalf of the players who give her the right to play. The mediator acts in a pre-specified way based on messages received from the players. However, a mediator cannot enforce behavior; that is, players can play in the game directly without the...

The growth of kidney exchange presents new challenges for the design of kidney exchange clearinghouses. The players now include directors of transplant centers, who see sets of patient-donor pairs, and can choose to reveal only difficult-to-match pairs to the clearinghouse, while withholding...

It has been previously shown that for sufficiently large pools of patient-donor pairs, (almost) efficient kidney exchange can be achieved by using at most 3-way cycles, i.e. by using cycles among no more than 3 patient-donor pairs. However, as kidney exchange has grown in practice, cycles among...

As multi-hospital kidney exchange clearinghouses have grown, the set of players has grown from patients and surgeons to include hospitals. Hospitals have the option of enrolling only their hard-to-match patient-donor pairs, while conducting easily arranged exchanges internally. This behavior has...

Consider an environment with a finite number of alternatives, and agents with private values and quasilinear utility functions. A domain of valuation functions for an agent is a monotonicity domain if every finite-valued monotone randomized allocation rule defined on it is implementable in...