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 DCR (the axiom of dependent choice for real numbers), states two things: Every set of real numbers is ∞-Borel.
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 DCR (the axiom of dependent choice for real numbers), states two things: Every set of real numbers is ∞-Borel.
Source: Wikipedia "AD+" · CC BY-SA 4.0
Share this article: X · Bluesky