Score contribution per author:
α: calibrated so average coauthorship-adjusted count equals average raw count
It has been an open conjecture in the theory of non-cooperative games that Nash equilibrium is universal for the collection of (non-empty) compact semi-algebraic sets, meaning that for every such set there is a game whose set of Nash equilibria is homeomorphic to the given set. In this paper we prove this conjecture.