Abstract:
We study the consistency strength of the axioms of determinacy for infinite games on the natural numbers and the real numbers, AD and AD_R respectively, in the context of Kripke-Platek set theory. We see that KP+“R exists”+AD has strength similar to that of ZF+AD, while KP+“R exists”+ADR is much weaker than ZF+ADR. The talk will be self-contained.