Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
