We conduct an incentivized lab experiment to test participants' ability to understand the DA matching mechanism and the strategyproofness property, conveyed in different ways. We find that while many participants can (using a novel GUI) learn DA's mechanics and calculate its outcomes, such...

A menu description presents a mechanism to player i in two steps. Step (1) uses the reports of other players to describe i's menu: the set of i's potential outcomes. Step (2) uses i's report to select i's favorite outcome from her menu. Can menu descriptions better expose strategyproofness,...

We consider a single indivisible object auctioned in an ascending bid English auction. Two variations of this auction are compared with respect to the seller's revenue. In the first mechanism the participants observe the identity of a bidder that drops from the auction while in the second...