Аксиома реальной определенности - Axiom of real determinacy

В математика, то аксиома реальной определенности (сокращенно ОБЪЯВЛЕНИЕр) является аксиома в теория множеств. В нем говорится следующее:

Аксиома — Рассмотрим бесконечную игру двух человек игры с идеальная информация. Тогда каждая длинная игра ω где оба игрока выбирают действительные числа определяется, т.е. у одного из двух игроков есть выигрышная стратегия.

Аксиома реальной детерминированности - более сильная версия аксиома детерминированности (AD), в котором говорится об играх, в которых оба игрока выбирают целые числа; ОБЪЯВЛЕНИЕр является непоследовательный с аксиома выбора. Это также подразумевает наличие внутренние модели с определенными большие кардиналы.

ОБЪЯВЛЕНИЕр эквивалентно AD плюс аксиома униформизации.

Смотрите также