AD + - AD+

W teorii mnogości , AD + jest rozszerzeniem, zaproponowana przez W. Hugh Woodin , do aksjomat determinacji . Aksjomat, co należy rozumieć w kontekście ZF powiększonej DC _R (z zasada wyborów zależnych dla liczb rzeczywistych ), stwierdza się dwie rzeczy:

1. Każdy zestaw z liczb rzeczywistych jest ∞-Borel .
2. Dla każdego porządkowej X poniżej Θ , każdy podzbiór A z omów ^Ohm i jakichkolwiek funkcji ciągłej Õ: X ^Ohm → Ohm ^omów , The preimage gatunku ^-1 [A] określone . (Tutaj X ^Ohm jest mieć topologii produktów , wychodząc z dyskretnych topologii na Î).

Druga klauzula sama określa się jako porządkowej gry nieskończone .

Zobacz też

• Aksjomat projekcyjnej gry nieskończone
• Aksjomat prawdziwej gry nieskończone
• hipoteza suslina
• gra topologiczna

Referencje

• Woodin, W. Hugo (1999). Aksjomat determinacji, zmuszając aksjomatów oraz niestacjonarnej ideału (1st ed.). Berlin: W. de Gruyter. p. 618. ISBN  311015708X .

Ten zestaw teoria kondensatorem artykuł jest en . Można źródło Wikipedia rozszerza ją . v T mi