English
Related papers

Related papers: Infinite games and chain conditions

200 papers

Parity games are simple infinite games played on finite graphs with a winning condition that is expressive enough to capture nested least and greatest fixpoints. Through their tight relationship to the modal mu-calculus, they are used in…

Logic in Computer Science · Computer Science 2019-09-18 Tom van Dijk

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

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

By resorting to the vector space structure of finite games, skew-symmetric games (SSGs) are proposed and investigated as a natural subspace of finite games. First of all, for two player games, it is shown that the skew-symmetric games form…

Computer Science and Game Theory · Computer Science 2017-12-11 Yaqi Hao , Daizhan Cheng

We provide game-theoretic proofs of some well-known existence theorems of Friedberg numberings for the class of all partial computable functions, including (1) the existence of two incomparable Friedberg numberings; (2) the existence of a…

Logic · Mathematics 2020-03-23 Takuma Imamura

Two selection games from the literature, $G_c(\mathcal O,\mathcal O)$ and $G_1(\mathcal O_{zd},\mathcal O)$, are known to characterize countable dimension among certain spaces. This paper studies their perfect- and limited-information…

General Topology · Mathematics 2023-01-13 Christopher Caruvana , Steven Clontz

Let S be a topological property of sequences (such as, for example, "to contain a convergent subsequence" or "to have an accumulation point"). We introduce the following open-point game OP(X,S) on a topological space X. In the n'th move,…

General Topology · Mathematics 2019-06-10 Alejandro Dorantes-Aldama , Dmitri Shakhmatov

The relationship between topology and dynamics of complex systems has motivated continuing interest from the scientific community. In the present work, we address this interesting topic from the perspective of simple games, involving two…

Social and Information Networks · Computer Science 2024-06-25 Alexandre Benatti , Luciano da F. Costa

We study infinite two-player games where one of the players is unsure about the set of moves available to the other player. In particular, the set of moves of the other player is a strict superset of what she assumes it to be. We explore…

Computer Science and Game Theory · Computer Science 2013-03-05 Nicholas Asher , Soumya Paul

Pursuing a new approach to the study of infinite games in combinatorics, we introduce the categories $\mathbf{Game}_{A}$ and $\mathbf{Game}_{B}$ and improve some classical results concerning topological games related to the duality between…

General Topology · Mathematics 2025-11-11 Matheus Duzi , Paul Szeptycki , Walter Tholen

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

The class of algorithmically computable simple games (i) includes the class of games that have finite carriers and (ii) is included in the class of games that have finite winning coalitions. This paper characterizes computable games,…

Computer Science and Game Theory · Computer Science 2011-11-09 Masahiro Kumabe , H. Reiju Mihara

We consider a natural way of extending the Lebesgue covering dimension to various classes of infinite dimensional separable metric spaces.

General Topology · Mathematics 2009-09-29 Liljana Babinkostova

We add to the theory of preservation of topological properties under forcing. In particular, we answer a question of Gilton and Holshouser in a strong sense, showing that if player II has a winning strategy in the strong countable fan…

Logic · Mathematics 2026-01-13 Chris Lambie-Hanson , Pedro Marun

We consider extensive games with perfect information with well-founded game trees and study the problems of existence and of characterization of the sets of subgame perfect equilibria in these games. We also provide such characterizations…

Computer Science and Game Theory · Computer Science 2021-06-23 Krzysztof R. Apt , Sunil Simon

In this article we investigate which compact spaces remain compact under countably closed forcing. We prove that, assuming the Continuum Hypothesis, the natural generalizations to $\omega_1$-sequences of the selection principle and…

General Topology · Mathematics 2014-05-26 Rodrigo R. Dias , Franklin D. Tall

In this paper we study connections between topological games such as Rothberger, Menger and compact-open, and relate these games to properties involving covers by G_{\delta} subsets. The results include: (1) If Two has a winning strategy in…

General Topology · Mathematics 2019-08-15 Leandro F. Aurichi , Rodrigo R. Dias

In this paper we have shown that a double sequence in a topological space satisfies certain conditions which in turn are capable to generate a topology on a non empty set. Also we have used the idea of I-convergence of double sequences to…

General Topology · Mathematics 2016-09-05 Amar Kumar Banerjee , Rahul Mondal

In this paper, we prove the following Theorems 1. An extremally disconnected space $X$ has the semi-Menger property if and only if One does not have a winning strategy in the game $G_{fin}(sO,sO)$. 2. An extremally disconnected space $X$…

General Topology · Mathematics 2023-03-10 Manoj Bhardwaj , Alexander V. Osipov

We present an analog of O'Neill's Theorem (Theorem 5.2 in [17]) for finite games, which reveals some of the structure of equilibria under payoff perturbations in finite games.

Computer Science and Game Theory · Computer Science 2024-10-30 Srihari Govindan , Rida Laraki , Lucas Pahl