DETERMINACY of SCHMIDT'S GAME and OTHER INTERSECTION GAMES

Logan Crone, Lior Fishman, Stephen Jackson

Research output: Contribution to journalArticlepeer-review

Abstract

Schmidt's game and other similar intersection games have played an important role in recent years in applications to number theory, dynamics, and Diophantine approximation theory. These games are real games, that is, games in which the players make moves from a complete separable metric space. The determinacy of these games trivially follows from the axiom of determinacy for real games, which is a much stronger axiom than that asserting all integer games are determined,. One of our main results is a general theorem which under the hypothesis implies the determinacy of intersection games which have a property allowing strategies to be simplified. In particular, we show that Schmidt's game on is determined from alone, but on for we show that does not imply the determinacy of this game. We then give an application of simple strategies and prove that the winning player in Schmidt's game on has a winning positional strategy, without appealing to the axiom of choice. We also prove several other results specifically related to the determinacy of Schmidt's game. These results highlight the obstacles in obtaining the determinacy of Schmidt's game from.

Original languageEnglish
Pages (from-to)1-21
Number of pages21
JournalJournal of Symbolic Logic
Volume88
Issue number1
DOIs
StatePublished - 30 Mar 2023
Externally publishedYes

Keywords

  • determinacy
  • intersection games
  • Schmidt games

ASJC Scopus subject areas

  • Philosophy
  • Logic

Fingerprint

Dive into the research topics of 'DETERMINACY of SCHMIDT'S GAME and OTHER INTERSECTION GAMES'. Together they form a unique fingerprint.

Cite this