and others proved more important consequences, especially in descriptive set theory. In 1988, John R. Steel and W. Hugh Woodin concluded a long line of research. Assuming the existence of some uncountable cardinal numbers analogous to ?₀, they proved the original conjecture of Mycielski and Steinhaus that AD is true in L(R).

Types of games that are determined