Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published 1988 | public
Book Section - Chapter

"AD + uniformization" is equivalent to "half ad_R"

Abstract

Let w be the set of natural numbers and R = 2^ω the set of "reals" . As usual AD is the assertion that every game on ω is determined and AD_R is the assertion that every game on R is determined. Let us also consider an intermediate principle AD^(1/2)_R, which is the assertion that every game in which one of the players plays in ω and the other in R is determined. Such games appear often in applications instead of full games on R, see for instance [K].

Additional Information

© 1988 Springer. Research partially supported by NSF Grant DMS-8416349.

Additional details

Created:
August 19, 2023
Modified:
March 5, 2024