Mechanism Design.Auction.Bayesian

Theorem All-Pay Auction Symmetric Equilibrium staged

Theorem Auction Comparisons Under Risk Aversion staged

Definition Bayesian Single-Item Auction Framework formalized

Definition Bayesian Single-Item Auction Interim Quantities And IC formalized

Theorem Dutch ≡ First-Price Strategic Equivalence staged

Theorem English ≡ Second-Price IPV Equivalence staged

Theorem Entry Fees And Reserve Prices In IPV Auctions staged

Theorem Regular Myerson Optimal Single-Item Auction proved

Theorem Symmetric IPV First-Price Equilibrium staged

Definition Virtual Values and Regularity formalized

Definition Virtual-Surplus-Maximizing Allocation formalized