Mixed Nash equilibria for continuous games and reverse mathematics

Ning Ning Peng, Weiguang Peng, Takeshi Yamazaki

Research output: Contribution to journalArticlepeer-review


The program reverse mathematics seeks to identify the minimal axioms needed to prove theorems of ordinary mathematics. In this paper, we develop the reverse mathematics of measure theory and apply these results to the reverse mathematics study of game theory. We address the technical issue of how to develop product measures in reverse mathematics, including formalizing Fubini’s thoerem. We show that weak compactness of probability measures on a compact space is equivalent to arithmetical comprehension over RCA0. The forward direction is again slightly technical. As an application of these results, we prove in ACA0 that any continuous game has a mixed Nash equilibrium.

Original languageEnglish
JournalQuaestiones Mathematicae
Publication statusAccepted/In press - 2022


  • continuous games
  • measure theory
  • Nash equilibrium
  • Reverse mathematics

ASJC Scopus subject areas

  • Mathematics (miscellaneous)


Dive into the research topics of 'Mixed Nash equilibria for continuous games and reverse mathematics'. Together they form a unique fingerprint.

Cite this