Abstract. We prove a game theoretic dichotomy for Gδσ sets of block se-quences 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 Σ03 determinacy. 1
Just as traditional games can be represented by trees, so concurrent games can be represented by eve...
We present a formalization of parity games (a two-player game on directed graphs) and a proof of the...
In this paper we give a survey of certain results on the determinacy of games on ordinals and its v...
Abstract. We prove an exact, i.e., formulated without ∆-expansions, Ram-sey principle for infinite b...
In the 90's, Gowers proves a Ramsey-type theorem for block-sequences in Banach spaces, in order to s...
Schmidt's game is a powerful tool for studying properties of certain sets which arise in Diophantine...
AbstractWe study the determinacy of the game Gκ(A) introduced in Fuchino, Koppelberg and Shelah (to ...
Borel determinacy states that if $G(T,X) $ is a game and $X $ is Borel, then $G(T,X) $ is determined...
The study of games, and the determinacy thereof, has become incredibly important in modern day set t...
Abstract. We introduce a new method, involving infinite games and Borel determinacy, which we use to...
W pracy opisano koncepcję gier nieskończonych, ogólne wyniki dotyczące istnienia strategii wygrywają...
In this paper we present the notion of finite high-order Gowers games, and prove a statement paralle...
AbstractDeterminacy axioms state the existence of winning strategies for infinite games played by tw...
We consider nondeterministic concurrent games played on event structures and study their determinacy...
Abstract. We present the notion of finite high-order Gowers games, and prove a statement parallel to...
Just as traditional games can be represented by trees, so concurrent games can be represented by eve...
We present a formalization of parity games (a two-player game on directed graphs) and a proof of the...
In this paper we give a survey of certain results on the determinacy of games on ordinals and its v...
Abstract. We prove an exact, i.e., formulated without ∆-expansions, Ram-sey principle for infinite b...
In the 90's, Gowers proves a Ramsey-type theorem for block-sequences in Banach spaces, in order to s...
Schmidt's game is a powerful tool for studying properties of certain sets which arise in Diophantine...
AbstractWe study the determinacy of the game Gκ(A) introduced in Fuchino, Koppelberg and Shelah (to ...
Borel determinacy states that if $G(T,X) $ is a game and $X $ is Borel, then $G(T,X) $ is determined...
The study of games, and the determinacy thereof, has become incredibly important in modern day set t...
Abstract. We introduce a new method, involving infinite games and Borel determinacy, which we use to...
W pracy opisano koncepcję gier nieskończonych, ogólne wyniki dotyczące istnienia strategii wygrywają...
In this paper we present the notion of finite high-order Gowers games, and prove a statement paralle...
AbstractDeterminacy axioms state the existence of winning strategies for infinite games played by tw...
We consider nondeterministic concurrent games played on event structures and study their determinacy...
Abstract. We present the notion of finite high-order Gowers games, and prove a statement parallel to...
Just as traditional games can be represented by trees, so concurrent games can be represented by eve...
We present a formalization of parity games (a two-player game on directed graphs) and a proof of the...
In this paper we give a survey of certain results on the determinacy of games on ordinals and its v...
DOI
Add to ORKG