AD+

Dalam teori set, AD+ merupakan sebuah kepanjangan, diusul oleh W. Hugh Woodin, untuk aksiom kepastian. Aksiom, yang mana dapat difahami dalam konteks ZF ditambah dengan DC_R (aksiom pilihan bergantung untuk bilangan sebenar) menyatakan dua perkara:

1. Setiap himpunan sebenar ialah Borel-∞.
2. Untuk suatu ordinal $\lambda$ lebih kecil dari Θ, suatu himpunan bahagian $A$ dari $\omega ^{\omega }$, dan suatu fungsi bersambung $\pi \colon \lambda ^{\omega }\to \omega ^{\omega }$, praimej $\pi ^{-1}[A]$ dipastikan. (Disini $\lambda ^{\omega }$ menjadi topologi darab yang diberikan, bermula dengan topologi diskret pada $\lambda$.)

Klausa kedua oleh sendirinya dirujuk sebagai penentuan ordinal.

Lihat juga

• Aksiom penentuan projektif
• Aksiom penentuan sebenar
• Masalah Suslin
• Permainan topologi

Rujukan

• Woodin, W. Hugh (1999). The axiom of determinacy, forcing axioms, and the nonstationary ideal (ed. 1st). Berlin: W. de Gruyter. m/s. 618. ISBN 311015708X.