Constructive Proof of the Existence of Nash Equilibrium in a Finite Strategic Game with Sequentially Locally Nonconstant Payoff Functions

الملخص EN

We will constructively prove the existence of a Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions.

The proof is based on the existence of approximate Nash equilibria which is proved by Sperner's lemma.

We follow the Bishop-style constructive mathematics.