An Algebraic Proof of the Generic Oddness of Equilibria of Finite Games

Abstract

In this note, we provide a proof of the finiteness and oddness of the set of Nash equilibria of generic finite normal form games as a consequence of the Kohlberg-Mertens structure theorem for the equilibrium manifold. Our proof relies on techniques from semi-algebraic geometry that may be of general interest in other applications.