Mixed Nash equilibria for continuous games and reverse mathematics

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...

Full description

Saved in:
Bibliographic Details
Published in:Quaestiones mathematicae 2023-04, Vol.46 (4), p.621-632
Main Authors: Peng, NingNing, Peng, Weiguang, Yamazaki, Takeshi
Format: Article
Language:English
Subjects:
Axioms
continuous games
Game theory
Mathematical analysis
measure theory
Nash equilibrium
Reverse mathematics
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 RCA 0 . The forward direction is again slightly technical. As an application of these results, we prove in ACA 0 that any continuous game has a mixed Nash equilibrium.
ISSN:1607-3606
1727-933X
DOI:10.2989/16073606.2022.2035448