Keyword: first-price

Theorem Dutch ≡ First-Price Strategic Equivalence staged

Theorem First-Price Fails DSIC proved

Definition First-Price Mechanism formalized

Theorem Symmetric IPV First-Price Equilibrium staged