Determiniertheitsaxiom

Das Axiom der Determiniertheit (abgekürzt mit AD) besagt, dass für bestimmte Spiele unendlicher Länge immer eine Gewinnstrategie existiert, der Gewinner also determiniert ist. Vor dem Hintergrund der üblichen Zermelo-Fraenkel-Mengenlehre (ZF) ist es nicht mit dem Auswahlaxiom verträglich. Aus dem Axiom der Determiniertheit folgt die Existenz gewisser unerreichbarer Kardinalzahlen in bestimmten Modellen. Da auf Grund des zweiten gödelschen Unvollständigkeitssatzes nicht gezeigt werden kann, dass die Annahme der Existenz unerreichbarer Kardinalzahlen konsistent ist, kann auch nicht gezeigt werden, dass das Axiom der Determiniertheit konsistent ist. Das Axiom der Determiniertheit ist äquikonsistent zu der Existenz unendlich vieler Woodin-Kardinalzahlen.

Unendliche Spiele wurden zuerst 1930 von Stanisław Mazur und Stefan Banach untersucht. Das Axiom der Determiniertheit wurde 1962 von Jan Mycielski und Hugo Steinhaus eingeführt.