Second price auctions on general preference domains: Two characterizations

Auction theory usually assumes the quasi-linearity of individual preferences. We drop this assumption and define an extension of second price mechanisms that applies to general preferences. It turns out that the extended second price mechanisms are the only rules satisfying efficiency, strategy-proofness, and a mild non-imposition property. Their definition is simple just as much as the definition of usual second price mechanisms: everyone reports his maximum willingness to pay and the bidder whose reported value is highest buys the auctioned object for the price equal to the second highest reported value. The characterization is valid if efficiency is replaced by envy-freeness.