AbstractDeterminacy axioms state the existence of winning strategies for infinite games played by two players on natural numbers. We show that a base theory enriched by a certain scheme of determinacy axioms is proof-theoretically equivalent to Π21-comprehension
We consider nondeterministic concurrent games played on event structures and study their determinacy...
We investigate the computational content of the axiom of determinacy (AD) in the setting of classica...
W pracy opisano koncepcję gier nieskończonych, ogólne wyniki dotyczące istnienia strategii wygrywają...
AbstractDeterminacy axioms state the existence of winning strategies for infinite games played by tw...
We investigate the determinacy strength of infinite games whose winning sets are recognized by nonde...
Let ω = {0, 1, 2, ... } be the set of natural numbers and R = ω^ω the set of all infinite sequences ...
Let ω = {0, 1, 2, ... } be the set of natural numbers and R = ω^ω the set of all infinite sequences ...
Abstract(1) Set Theory's topic of Large Cardinals is the most infinitary part of Mathematics. At the...
Abstract. We survey the recent developments in the investigation of Blackwell determinacy axioms. It...
Working within the Zermelo-Frankel Axioms of set theory, we will introduce two important contradicto...
We consider nondeterministic concurrent games played on event structures and study their determinacy...
For any class of functions F from R into R, AD(F) is the assertion that in every two person game on ...
Abstract. We introduce a new method, involving infinite games and Borel determinacy, which we use to...
For any class of functions F from R into R, AD(F) is the assertion that in every two person game on ...
For any class of functions F from R into R, AD(F) is the assertion that in every two person game on ...
We consider nondeterministic concurrent games played on event structures and study their determinacy...
We investigate the computational content of the axiom of determinacy (AD) in the setting of classica...
W pracy opisano koncepcję gier nieskończonych, ogólne wyniki dotyczące istnienia strategii wygrywają...
AbstractDeterminacy axioms state the existence of winning strategies for infinite games played by tw...
We investigate the determinacy strength of infinite games whose winning sets are recognized by nonde...
Let ω = {0, 1, 2, ... } be the set of natural numbers and R = ω^ω the set of all infinite sequences ...
Let ω = {0, 1, 2, ... } be the set of natural numbers and R = ω^ω the set of all infinite sequences ...
Abstract(1) Set Theory's topic of Large Cardinals is the most infinitary part of Mathematics. At the...
Abstract. We survey the recent developments in the investigation of Blackwell determinacy axioms. It...
Working within the Zermelo-Frankel Axioms of set theory, we will introduce two important contradicto...
We consider nondeterministic concurrent games played on event structures and study their determinacy...
For any class of functions F from R into R, AD(F) is the assertion that in every two person game on ...
Abstract. We introduce a new method, involving infinite games and Borel determinacy, which we use to...
For any class of functions F from R into R, AD(F) is the assertion that in every two person game on ...
For any class of functions F from R into R, AD(F) is the assertion that in every two person game on ...
We consider nondeterministic concurrent games played on event structures and study their determinacy...
We investigate the computational content of the axiom of determinacy (AD) in the setting of classica...
W pracy opisano koncepcję gier nieskończonych, ogólne wyniki dotyczące istnienia strategii wygrywają...
DOI
Add to ORKG