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 :{\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

• Templat:Cite book