Daisuke Ikegami: Real Blackwell Determinacy

Week 1, Tuesday June 16, 11:10-11:35

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 Lwe.