English
Related papers

Related papers: Uncountable sets and an infinite linear order game

200 papers

Matthew Baker investigated, in previous work, an elegant, infinite-length game that may be used to study subsets of real numbers. We present two accessible examples of how an important technique from set theory, or a different technique…

Logic · Mathematics 2022-09-07 Will Brian , Steven Clontz

We extend Solovay's theorem about definable subsets of the Baire space to the generalized Baire space ${}^\lambda\lambda$, where $\lambda$ is an uncountable cardinal with $\lambda^{<\lambda}=\lambda$. In the first main theorem, we show that…

Logic · Mathematics 2017-06-14 Philipp Schlicht

It is well known that if the nonempty player of the Banach-Mazur game has a winning strategy on a space, then that space is Baire in all powers even in the box topology. The converse of this implication may be true also: We know of no…

Logic · Mathematics 2014-10-28 Fred Galvin , Marion Scheepers

We introduce a new type of game on natural numbers of variable countable length, which can be regarded as a diagonalization of all games of fixed countable length on natural numbers. Building on previous work by Trang and Woodin, we show…

Logic · Mathematics 2026-01-08 Takehiko Gappo , Sandra Müller

We study deterministic games of infinite duration played on graphs and focus on the strategy complexity of quantitative objectives. Such games are known to admit optimal memoryless strategies over finite graphs, but require infinite-memory…

Computer Science and Game Theory · Computer Science 2024-06-26 Sougata Bose , Rasmus Ibsen-Jensen , David Purser , Patrick Totzke , Pierre Vandenhove

Although mixed extensions of finite games always admit equilibria, this is not the case for countable games, the best-known example being Wald's pick-the-larger-integer game. Several authors have provided conditions for the existence of…

Computer Science and Game Theory · Computer Science 2017-04-04 Valerio Capraro , Marco Scarsini

We prove that chess played on the infinite chessboard $\mathbb{Z}^2$ with infinitely many pieces is as powerful as it could possibly be, by showing that every open Gale-Stewart game with draws is strategically equivalent to some infinite…

Logic · Mathematics 2026-02-17 Matthew Bolan , Andreas Tsevas

Infinite games (in the form of Gale-Stewart games) are studied where a play is a sequence of natural numbers chosen by two players in alternation, the winning condition being a subset of the Baire space $\omega^\omega$. We consider such…

Computer Science and Game Theory · Computer Science 2023-06-22 Benedikt Brütsch , Wolfgang Thomas

Infinite chess is chess played on an infinite edgeless chessboard. The familiar chess pieces move about according to their usual chess rules, and each player strives to place the opposing king into checkmate. The mate-in-n problem of…

Logic · Mathematics 2012-05-17 Dan Brumleve , Joel David Hamkins , Philipp Schlicht

The aim of this note is to investigate the open-open game of uncountable length. We introduce a cardinal number $\mu(X)$, which says how long the Player I has to play to ensure a victory. It is proved that $\su(X)\leq\mu(X)\leq\su(X)^+$. We…

General Topology · Mathematics 2016-12-30 Andrzej Kucharski

In Problem #1542 of Mathematics Magazine, Grossman and Turett define the Cantor game. In his 2007 Mathematics Magazine article about the Cantor game, Matt Baker proves several results and poses three challenging questions about it: Do there…

Classical Analysis and ODEs · Mathematics 2017-02-01 Magnus D. LaDue

In 2006, Varacca and V\"olzer proved that on finite graphs, omega-regular large sets coincide with omega-regular sets of probability 1, by using the existence of positional strategies in the related Banach-Mazur games. Motivated by this…

Logic in Computer Science · Computer Science 2013-07-18 Thomas Brihaye , Quentin Menet

We study the determinacy of the game G_kappa (A) introduced in [FKSh:549] for uncountable regular kappa and several classes of partial orderings A. Among trees or Boolean algebras, we can always find an A such that G_kappa (A) is…

Logic · Mathematics 2016-09-06 Sakaé Fuchino , Sabine Koppelberg , Saharon Shelah

Consider a game where Alice generates an integer and Bob wins if he can factor that integer. Traditional game theory tells us that Bob will always win this game even though in practice Alice will win given our usual assumptions about the…

Computer Science and Game Theory · Computer Science 2009-11-18 Lance Fortnow , Rahul Santhanam

We investigate a game played between two players, Maker and Breaker, on a countably infinite complete graph where the vertices are the rational numbers. The players alternately claim unclaimed edges. It is Maker's goal to have after…

Combinatorics · Mathematics 2024-12-23 Nathan Bowler , Florian Gut

In this paper, we study nonzero-sum separable games, which are continuous games whose payoffs take a sum-of-products form. Included in this subclass are all finite games and polynomial games. We investigate the structure of equilibria in…

Computer Science and Game Theory · Computer Science 2010-04-26 Noah D. Stein , Asuman Ozdaglar , Pablo A. Parrilo

This paper provides sufficient conditions for the existence of solutions for two-person zero-sum games with inf/sup-compact payoff functions and with possibly noncompact decision sets for both players. Payoff functions may be unbounded, and…

Optimization and Control · Mathematics 2021-12-22 Eugene A. Feinberg , Pavlo O. Kasyanov , Michael Z. Zgurovsky

We explore a version of the minimax theorem for two-person win-lose games with infinitely many pure strategies. In the countable case, we give a combinatorial condition on the game which implies the minimax property. In the general case, we…

Computer Science and Game Theory · Computer Science 2023-10-31 Ron Holzman

We give a short proof of the well-known fact that the unit interval [0,1] is uncountable by means of a simple infinite game. We also show using this game that a (non-empty) perfect subset of [0,1] must be uncountable.

History and Overview · Mathematics 2007-05-23 Matthew Baker

We study the abstract Banach-Mazur game played with finitely generated structures instead of open sets. We characterize the existence of winning strategies aiming at a single countably generated structure. We also introduce the concept of…

Logic · Mathematics 2021-08-25 Adam Krawczyk , Wiesław Kubiś
‹ Prev 1 2 3 10 Next ›