bn:02182362n
Noun Named Entity
EL
No term available
EN
In set theory, AD+ is an extension, proposed by W. Hugh Woodin, to the axiom of determinacy. Wikipedia
Relations
Sources