6.5 Axiom of determinacy
In this book our focus is mostly on low level definable sets of reals such as those that are 
or 
. To go “higher up”, one resorts to the use of games and strategies which lie at the heart of the Axiom of Determinacy. It turns out that this axiom is at its core a large cardinal axiom.
6.5.1 Games and strategies
Let A ⊆ ωω. An infinite game GA with perfect information has two players labeled I and II. The game is played by choosing a natural number alternately between the two players and ends in ω-many steps. Each game generates ...
Get Recursion Theory now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
