AD+

sebuah kepanjangan, diusul oleh W. Hugh Woodin, untuk aksioma kepastian

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:

  1. Setiap himpunan real adalah himpunan Borel-∞.
  2. 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

sunting

Referensi

sunting
  • Woodin, W. Hugh (1999). The axiom of determinacy, forcing axioms, and the nonstationary ideal (edisi ke-1st). Berlin: W. de Gruyter. hlm. 618. ISBN 311015708X.