Add to ORKGFor any class of functions F from R into R, AD(F) is the assertion that in every two person game on integers one of the two players has a winning strategy in the class F. It is shown, in ZF + DC + V = L(R), that for any F of cardinality < 2^(N0)(i.e. any F which is a surjective image of R) AD(F) implies AD (the Axiom of Determinacy)
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axio...
AbstractWe characterize in terms of determinacy, the existence of the least inner model of “every re...
AbstractDuBose, D.A., Determinacy and the sharp function on the reals, Annals of Pure and Applied Lo...
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 ...
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 ...
We prove the following Main Theorem: ZF+AD+V=L(R)⇒DC. As a corollary we have that Con(ZF+AD)⇒Con(ZF+...
We prove the following Main Theorem: ZF+AD+V=L(R)⇒DC. As a corollary we have that Con(ZF+AD)⇒Con(ZF+...
AbstractDeterminacy axioms state the existence of winning strategies for infinite games played by tw...
Working within the Zermelo-Frankel Axioms of set theory, we will introduce two important contradicto...
AbstractDeterminacy axioms state the existence of winning strategies for infinite games played by tw...
We investigate the computational content of the axiom of determinacy (AD) in the setting of classica...
Abstract(1) Set Theory's topic of Large Cardinals is the most infinitary part of Mathematics. At the...
AbstractViewing strategies in combinatotial games non-determinastically, i.e. simply like strenghten...
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axio...
AbstractWe characterize in terms of determinacy, the existence of the least inner model of “every re...
AbstractDuBose, D.A., Determinacy and the sharp function on the reals, Annals of Pure and Applied Lo...
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 ...
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 ...
We prove the following Main Theorem: ZF+AD+V=L(R)⇒DC. As a corollary we have that Con(ZF+AD)⇒Con(ZF+...
We prove the following Main Theorem: ZF+AD+V=L(R)⇒DC. As a corollary we have that Con(ZF+AD)⇒Con(ZF+...
AbstractDeterminacy axioms state the existence of winning strategies for infinite games played by tw...
Working within the Zermelo-Frankel Axioms of set theory, we will introduce two important contradicto...
AbstractDeterminacy axioms state the existence of winning strategies for infinite games played by tw...
We investigate the computational content of the axiom of determinacy (AD) in the setting of classica...
Abstract(1) Set Theory's topic of Large Cardinals is the most infinitary part of Mathematics. At the...
AbstractViewing strategies in combinatotial games non-determinastically, i.e. simply like strenghten...
It is shown that, within L(R), the smallest inner model of set theory containing the reals, the axio...
AbstractWe characterize in terms of determinacy, the existence of the least inner model of “every re...
AbstractDuBose, D.A., Determinacy and the sharp function on the reals, Annals of Pure and Applied Lo...