Ad

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 DCR, states two things: 1. Every set of real numbers is ∞-Borel. 2. For any ordinal λ.

Data Source : Wikipedia

• Related Topics:  Axiom Of Projective Determinacy - In Mathematical Logic, Projective Determinacy Is The Special Case Of The Axiom Of Determinacy Applying Only To Projective Sets., Axiom Of Real Determinacy - In Mathematics, The Axiom Of Real Determinacy Is An Axiom In Set Theory., Suslin's Problem - In Mathematics, Suslin's Problem Is A Question About Totally Ordered Sets Posed By Mikhail Yakovlevich Suslin And Published Posthumously., Topological Game - In Mathematics, A Topological Game Is An Infinite Game Of Perfect Information Played Between Two Players On A Topological Space. Players Choose Objects With Topological Properties Such As Points, Open Sets, Closed Sets And Open Coverings., Axioms Of Set Theory