DETERMINACY OF SCHMIDT’S GAME AND OTHER INTERSECTION GAMES
نویسندگان
چکیده
Abstract Schmidt’s game and other similar intersection games have played an important role in recent years applications to number theory, dynamics, Diophantine approximation theory. These are real games, that is, which the players make moves from a complete separable metric space. The determinacy of these trivially follows axiom for $\mathsf {AD}_{\mathbb R}$ , is much stronger than asserting all integer determined, {AD}$ . One our main results general theorem under hypothesis implies property allowing strategies be simplified. In particular, we show $(\alpha ,\beta ,\rho )$ on $\mathbb R$ determined alone, but R^n$ $n \geq 3$ does not imply this game. We then give application simple prove winning player \beta \rho {R}$ has positional strategy, without appealing choice. also several specifically related highlight obstacles obtaining
منابع مشابه
Borel Determinacy of Concurrent Games
Just as traditional games can be represented by trees, so concurrent games can be represented by event structures. We show the determinacy of such concurrent games with Borel sets of configurations as winning conditions, provided they are race-free and bounded-concurrent. Both properties are shown necessary. The determinacy proof proceeds via a reduction to the determinacy of tree games, and th...
متن کاملDeterminacy of Adversarial Gowers Games
We prove a game theoretic dichotomy for Gδσ sets of block sequences in vector spaces that extends, on the one hand, the block Ramsey theorem of W. T. Gowers proved for analytic sets of block sequences and, on the other hand, M. Davis’ proof of Σ3 determinacy.
متن کاملDeterminacy Proofs for Long games
1. Preliminaries: (a) The games. (b) Extenders, iteration trees. (c) Auxiliary game representations. (d) Example: Σ 1 2 determinacy. 2. Games of length ω · ω with Σ 1 2 payoff. 3. Continuously coded games with Σ 1 2 payoff.
متن کاملThe Determinacy of Context-Free Games
We prove that the determinacy of Gale-Stewart games whose winning sets are accepted by realtime 1-counter Büchi automata is equivalent to the determinacy of (effective) analytic GaleStewart games which is known to be a large cardinal assumption. We show also that the determinacy of Wadge games between two players in charge of ω-languages accepted by 1-counter Büchi automata is equivalent to the...
متن کاملHalf-Positional Determinacy of Infinite Games
We study infinite games where one of the players always has a positional (memory-less) winning strategy, while the other player may use a historydependent strategy. We investigate winning conditions which guarantee such a property for all arenas, or all finite arenas. We establish some closure properties of such conditions, which give rise to the XPS class of winning conditions, and discover so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2022
ISSN: ['1943-5886', '0022-4812']
DOI: https://doi.org/10.1017/jsl.2022.41