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 DC_R (aksioma pemilihan tergantung untuk bilangan real), menyatakan dua hal:

1. Setiap himpunan real adalah himpunan Borel-∞.
2. Untuk suatu ordinal $\lambda$ lebih kecil dari Θ, suatu himpunan bagian $A$ dari ${\omega }^{\omega }$, dan suatu fungsi kontinu $\pi :{\lambda }^{\omega }\to {\omega }^{\omega }$, pracitra ${\pi }^{-1}[A]$ dipastikan. (Di sini ${\lambda }^{\omega }$ menjadi topologi darab yang diberikan, dimulai dengan topologi diskret pada $\lambda$.)

Klausa kedua oleh sendirinya dirujuk sebagai determinasi ordinal.

Lihat pula

• Aksioma determinasi projektif
• Aksioma determinasi real
• Masalah Suslin
• Permainan topologis

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 28435767 (2025-11-13T01:42:21Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.