Great question! Our mechanism is similar to a Vickrey auction in that the 2nd highest bid is used as the price, but it’s different in that there’s no 3rd-party seller. The good is jointly owned and the payment will go from one player to the other. So our decision auctions are not strictly incentive compatible like Vickrey is (though in practice it seems to be close enough). If you’re *very* interested I can tell you the Nash equilibrium for a decision auction (with unrealistic assumptions about type distributions).

Thanks Emanuel! Fixed now. I might owe you $20 for that, though it was kind of intentional at the time. I made a ton of edits since I hit publish on this seconds before the deadline. I’m definitely still honoring the $20 typo bounty, btw, for anything that’s unambiguously an error.