English
Related papers

Related papers: Games with Filters

200 papers

We investigate forms of filter extension properties in the two-cardinal setting involving filters on $P_\kappa(\lambda)$. We generalize the filter games introduced by Holy and Schlicht in \cite{HolySchlicht:HierarchyRamseyLikeCardinals} to…

Logic · Mathematics 2026-02-20 Tom Benhamou , Victoria Gitman

Hirschfeldt and Jockusch (2016) introduced a two-player game in which winning strategies for one or the other player precisely correspond to implications and non-implications between $\Pi^1_2$ principles over $\omega$-models of…

Logic · Mathematics 2021-12-02 Damir D. Dzhafarov , Denis R. Hirschfeldt , Sarah C. Reitzes

We modify the game Fuchino, Koppelberg, and Shelah used to characterize the $\kappa$-Freese-Nation property for a given Boolean algebra $A$, replacing players I and II each with a team of $n$ players with limited information. We show that…

Logic · Mathematics 2022-03-02 David Milovich

We study infinite two-player win/lose games $(A,B,W)$ where $A,B$ are finite and $W \subseteq (A \times B)^\omega$. At each round Player 1 and Player 2 concurrently choose one action in $A$ and $B$, respectively. Player 1 wins iff the…

Computer Science and Game Theory · Computer Science 2021-07-22 Patricia Bouyer , Stéphane Le Roux , Nathan Thomasset

We prove that it is relatively consistent with ZF + CH that there exist two models of cardinality \aleph_2 such that the second player has a winning strategy in the Ehrenfeucht-Fra\"iss\'e-game of length \omega_1 but there is no…

Logic · Mathematics 2013-08-02 Saharon Shelah , Jouko Väänänen , Boban Velickovic

We define a general framework of partition games for formulating two-player pebble games over finite structures. We show that one particular such game, which we call the invertible-map game, yields a family of polynomial-time approximations…

Logic in Computer Science · Computer Science 2015-03-20 Anuj Dawar , Bjarki Holm

We consider extensive form win-lose games over a complete binary-tree of depth $n$ where players act in an alternating manner. We study arguably the simplest random structure of payoffs over such games where 0/1 payoffs in the leafs are…

Computer Science and Game Theory · Computer Science 2019-09-11 Urban Larsson , Yakov Babichenko

We introduce two new iteration games: the game G, which is a strengthening of the weak iteration game, and the game G+, which is somewhat stronger than G but weaker than the full iteration game of length omega_1. For a countable M…

Logic · Mathematics 2008-02-03 Alessandro Andretta , John R. Steel

In this paper, we defined two new games - the mildly Menger game and the compact-clopen game. In a zero-dimensional space, the Menger game is equivalent to the mildly Menger game and the compact-open game is equivalent to the compact-clopen…

General Topology · Mathematics 2022-02-01 Manoj Bhardwaj , Alexander V. Osipov

Consider concurrent, infinite duration, two-player win/lose games played on graphs. If the winning condition satisfies some simple requirement, the existence of Player 1 winning (finite-memory) strategies is equivalent to the existence of…

Logic in Computer Science · Computer Science 2018-05-01 Stephane Le Roux

We introduce an analog to the notion of Polish space for spaces of weight $\leq\kappa$, where $\kappa$ is an uncountable regular cardinal such that $\kappa^{<\kappa}=\kappa$. Specifically, we consider spaces in which player II has a winning…

Logic · Mathematics 2019-08-16 Samuel Coskey , Philipp Schlicht

Infinite games where several players seek to coordinate under imperfect information are deemed to be undecidable, unless the information is hierarchically ordered among the players. We identify a class of games for which joint winning…

Computer Science and Game Theory · Computer Science 2015-07-29 Dietmar Berwanger , Anup Basil Mathew

We define a version of the Ehrenfeucht-Fra\"iss\'e game in the setting of metric model theory and continuous first-order logic and show that the second player having a winning strategy in a game of length $n$ exactly corresponds to being…

Logic · Mathematics 2024-04-26 Åsa Hirvonen , Joni Puljujärvi

Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of…

Number Theory · Mathematics 2024-12-11 Dzmitry Badziahin , Stephen Harrap , Erez Nesharim , David Simmons

A simple game $(N,v)$ is given by a set $N$ of $n$ players and a partition of $2^N$ into a set $\mathcal{L}$ of losing coalitions $L$ with value $v(L)=0$ that is closed under taking subsets and a set $\mathcal{W}$ of winning coalitions $W$…

Computer Science and Game Theory · Computer Science 2018-08-30 Frits Hof , Walter Kern , Sascha Kurz , Daniël Paulusma

A famous result in game theory known as Zermelo's theorem says that "in chess either White can force a win, or Black can force a win, or both sides can force at least a draw". The present paper extends this result to the class of all…

Combinatorics · Mathematics 2016-10-25 Rabah Amir , Igor V. Evstigneev

We consider multi-player graph games with partial-observation and parity objective. While the decision problem for three-player games with a coalition of the first and second players against the third player is undecidable, we present a…

Logic in Computer Science · Computer Science 2014-04-23 Krishnendu Chatterjee , Laurent Doyen

Duality games are a way of looking at wave-particle duality. In these games. Alice and Bob together are playing against the House. The House specifies, at random, which of two sub-games Alice and Bob will play. One game, Ways, requires that…

Quantum Physics · Physics 2021-12-08 Mark Hillery

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

Let A and B be two first order structures of the same relational vocabulary L. The Ehrenfeucht-Fraisse-game of length gamma of A and B denoted by EFG_gamma(A,B) is defined as follows: There are two players called for all and exists. First…

Logic · Mathematics 2007-05-23 Tapani Hyttinen , Saharon Shelah , Jouko Väänänen
‹ Prev 1 2 3 10 Next ›