Himpunan Borel tidak terhingga

Daripada testwiki
Semakan 748 pada 07:03, 16 Disember 2021 oleh imported>Fandi89 (Pengemasan.)
(beza) ← Semakan terdahulu | Semakan semasa (beza) | Semakan berikutnya→ (beza)
Pergi ke pandu arah Pergi ke carian

Dalam teori set, subset ruang Poland X ialah ∞-Borel jika ia boleh diperolehi dengan bermula dengan subset terbuka bagi X, dan melelaran secara transfiniti operasi pelengkap dan kesatuan tertib. Ambil perhatian bahawa set-set ∞-Borel mungkin sebenarnya tidak ditutup di bawah kesatuan tertib.

Rujukan

  • W.H. Woodin The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal (1999 Walter de Gruyter) hlm. 618