A principal distributes an indivisible good to budget‐constrained agents when both valuation and budget are agents' private information. The principal can verify an agent's budget at a cost. The welfare‐maximizing mechanism can be implemented via a two‐stage scheme. First, agents report...

A principal wishes to distribute an indivisible good to a population of budget-constrained agents. Both valuation and budget are an agent's private information. The principal can inspect an agent's budget through a costly verification process and punish an agent who makes a false statement. I...

A principal allocates an object among a finite number of agents, each of whom values the object. Each agent has access to private information about the principal's payoff if he receives the object. There are no monetary transfers. The object is allocated based on the agents' reports. The...