Keyword: reserve-price

Theorem Entry Fees And Reserve Prices In IPV Auctions staged

Theorem Myerson Reserve-Price Characterisation staged

Definition Reserve Second-Price Mechanism formalized

Theorem Reserve Second-Price Truth-Telling Is Dominant proved

Definition Virtual Values and Regularity formalized