Keyword: dsic

Definition DSIC Predicate formalized

Definition Direct Mechanism Interface formalized

Theorem First-Price Fails DSIC proved

Theorem Myerson Monotonicity Characterization proved

Theorem Reserve Second-Price Truth-Telling Is Dominant proved

Theorem Truthful Bidding Is Dominant in the Online Auction proved

Theorem Truthfulness From DSIC proved

Theorem VCG Truthfulness And Individual Rationality proved

Theorem Vickrey Truth-Telling Is Dominant proved

Theorem Welfare-Maximizing Knapsack Mechanism proved