AD+

In set theory, AD⁺ is an extension, proposed by W. Hugh Woodin, to the axiom of determinacy. The axiom, which is to be understood in the context of ZF plus DC_R (the axiom of dependent choice for real numbers), states two things:

1. Every set of real numbers is ∞-Borel.
2. For any ordinal λ < Θ, any A ⊆ ω^ω, and any continuous function π: λ^ω → ω^ω, the preimage π⁻¹[A] is determined. (Here, λ^ω is to be given the product topology, starting with the discrete topology on λ.)

The second clause by itself is referred to as ordinal determinacy.

See also

• Axiom of projective determinacy
• Axiom of real determinacy
• Suslin's problem
• Topological game

References

1. .ad
2. ʿĀd
3. Ad hominem
4. Ad hoc
5. Kalki 2898 AD
6. Ad-Rock
7. Ad astra
8. AD 1
9. Ad nauseam
10. Anno Domini
11. 2000 AD
12. Ad infinitum
13. Ad libitum
14. Ad exchange
15. Ad blocking
16. Want ad
17. Ad-Dhuha
18. Ad Astra
19. AD Alcorcón
20. Mérida AD