AD+

Dalam teori himpunan, AD+ merupakan singkatan untuk aksioma kepastian, yang diusulkan oleh W. Hugh Woodin. Aksioma ini, dalam konteks teori himpunan ZF yang dilengkapi dengan DCR (aksioma pemilihan tergantung untuk bilangan real), menyatakan dua hal:

 Setiap himpunan real adalah himpunan Borel-∞.
 Untuk suatu ordinal  lebih kecil dari Θ, suatu himpunan bagian  dari , dan suatu fungsi kontinu , pracitra  dipastikan. (Disini  menjadi topologi darab yang diberikan, dimulai dengan topologi diskret pada .)

Klausa kedua oleh sendirinya dirujuk sebagai determinasi ordinal.

Lihat pula 

 Aksioma determinasi projektif
 Aksioma determinasi real
 Masalah Suslin
 Permainan topologis

Referensi 

 

Aksioma teori himpunan
Determinasi