English
Related papers

Related papers: Infinite games and chain conditions

200 papers

Two theorems announced by Topkis about the topological description of sublattices are proved. They are applied to extend some classical results concerning the existence and the order structure of Nash equilibria of certain supermodular…

Theoretical Economics · Economics 2024-06-17 Lu Yu

Various practical problems within the class $\Sigma_{2}^P$ possess an unambiguity property, meaning that yes-instances correspond with a unique witness. The semantic class containing all unambiguous $\Sigma_{2}^P$ problems is denoted…

Computational Complexity · Computer Science 2026-04-02 Matan Gilboa , Paul W. Goldberg , Elias Koutsoupias , Noam Nisan

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 study infinitely repeated games in settings of imperfect monitoring. We first prove a family of theorems that show that when the signals observed by the players satisfy a condition known as $(\epsilon, \gamma)$-differential privacy, that…

Computer Science and Game Theory · Computer Science 2014-10-09 Mallesh M. Pai , Aaron Roth , Jonathan Ullman

We define and analyze the notion of variational Wardrop equilibrium for nonatomic aggregative games with an infinity of players types. These equilibria are characterized through an infinite-dimensional variational inequality. We show, under…

Optimization and Control · Mathematics 2019-06-06 Paulin Jacquot , Cheng Wan

Let $X$ be a topological vector space of complex-valued sequences and $Y$ be a subset of $X$. We provide conditions for $X \setminus Y \cup \{0\}$ to contain uncountably infinitely many linearly independent dense vector subspaces of $X$. We…

Functional Analysis · Mathematics 2022-11-10 C. A. Konidas

Combinatorial Game Theory has also been called `additive game theory', whenever the analysis involves sums of independent game components. Such {\em disjunctive sums} invoke comparison between games, which allows abstract values to be…

Combinatorics · Mathematics 2021-01-29 Urban Larsson , Richard J. Nowakowski , Carlos P. Santos

We introduce a new, game-theoretic approach to anti-classification results for orbit equivalence relations. Within this framework, we give a short conceptual proof of Hjorth's turbulence theorem. We also introduce a new dynamical criterion…

Logic · Mathematics 2018-04-17 Martino Lupini , Aristotelis Panagiotopoulos

Under what conditions do the behaviors of players, who play a game repeatedly, converge to a Nash equilibrium? If one assumes that the players' behavior is a discrete-time or continuous-time rule whereby the current mixed strategy profile…

Computer Science and Game Theory · Computer Science 2022-03-29 Jason Milionis , Christos Papadimitriou , Georgios Piliouras , Kelly Spendlove

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 present a computational formulation for the approximate version of several variational inequality problems, investigating their computational complexity and establishing PPAD-completeness. Examining applications in computational game…

Computational Complexity · Computer Science 2024-11-08 Bruce M. Kapron , Koosha Samieefar

By adapting techniques of Arhangel'skii, Barman, and Dow, we may equate the existence of perfect-information, Markov, and tactical strategies between two interesting selection games. These results shed some light on Gruenhage's question…

General Topology · Mathematics 2016-10-18 Steven Clontz

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 prove that Arhangelskii's problem has a consistent positive answer: if V\models CH, then for some aleph_1-complete aleph_2-c.c. forcing notion P of cardinality aleph_2 we have that P forces ``CH and there is a Lindelof regular…

Logic · Mathematics 2007-08-16 Saharon Shelah

Given a graph $G$ and a subset $X$ of vertices of $G$ with size at least two, we denote by $N^2_G(X)$ the set of vertices of $G$ that have at least two neighbors in $X$. We say that a bipartite graph $G$ with sides $A$ and $B$ satisfies the…

Combinatorics · Mathematics 2025-04-04 Leandro Aurichi , Paulo Magalhães Júnior , Lyubomyr Zdomskyy

This paper addresses several significant gaps in the theory of restricted mis\`ere play (Plambeck, Siegel 2008), primarily in the well-studied universe of dead-ending games, $\mathcal{E}$ (Milley, Renault 2013); if a player run out of moves…

Combinatorics · Mathematics 2018-07-31 Urban Larsson , Rebecca Milley , Richard Nowakowski , Gabriel Renault , Carlos Santos

The class of exact transferable utility coalitional games, introduced in 1972 by Schmeidler, has been studied both in the context of game theory and in the context of imprecise probabilities. We characterize the cone of exact games by…

Combinatorics · Mathematics 2022-03-29 Milan Studený , Václav Kratochvíl

We provide some examples showing how game-theoretic arguments can be used in computability theory and algorithmic information theory: unique numbering theorem (Friedberg), the gap between conditional complexity and total conditional…

Logic · Mathematics 2012-09-11 Andrej Muchnik , Alexander Shen , Mikhail Vyugin

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 for any infinite countable amenable group $G$, any $\epsilon > 0$ and any finite subset $K\subset G$, there exists a tiling (partition of $G$ into finite "tiles" using only finitely many "shapes"), where all the tiles are $(K;…

Group Theory · Mathematics 2015-02-10 Tomasz Downarowicz , Dawid Huczek , Guohua Zhang