Mechanism Design.Auction.Basic

Definition Basic Auction Formats formalized

Definition Bid-Profile Supports formalized

Theorem First-Price Fails DSIC proved

Definition First-Price Mechanism formalized

Definition Ordered-Bid Utilities formalized

Definition Reserve Second-Price Mechanism formalized

Theorem Reserve Second-Price Truth-Telling Is Dominant proved

Definition Second-Price (Vickrey) Mechanism formalized

Theorem Vickrey Truth-Telling Is Dominant proved