bn:02182362n
Noun Named Entity
Categories: Determinacy, Set theory stubs, Axioms of set theory
EN
AD+  AD plus  Axiom of ordinal determinacy  ordinal determinacy
EN
In set theory, AD+ is an extension, proposed by W. Hugh Woodin, to the axiom of determinacy. Wikipedia
Definitions
Relations
Sources
EN
In set theory, AD+ is an extension, proposed by W. Hugh Woodin, to the axiom of determinacy. Wikipedia
Wikipedia
EN
AD+
Wikidata
EN
AD+