Blackwell games are infinite games with (slightly) imperfect information while
Gale-Stewart games are infinite games with perfect information. Martin proved
that the Axiom of Determinacy (AD) implies the Axiom of Blackwell Determinacy
(Bl-AD) and conjectured the converse.
We show that the Axiom of Real Blackwell Determinacy
(Bl-AD(R)) implies the consistency of AD and hence the
consistency of Bl-AD(R) is strictly greater than that of AD.
This is a joint work with David de Kloet and Benedikt Löwe.