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

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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