WikiDer > Аксиома реальной определенности
Axiom of real determinacy
В математика, то аксиома реальной определенности (сокращенно ОБЪЯВЛЕНИЕр) является аксиома в теория множеств. В нем говорится следующее:
Аксиома — Рассмотрим бесконечную игру двух человек игры с идеальная информация. Тогда каждая длинная игра ω где оба игрока выбирают действительные числа определяется, т.е. у одного из двух игроков есть выигрышная стратегия.
Аксиома реальной детерминированности - более сильная версия аксиома детерминированности (AD), в котором говорится об играх, в которых оба игрока выбирают целые числа; ОБЪЯВЛЕНИЕр является непоследовательный с аксиома выбора. Это также подразумевает наличие внутренние модели с определенными большие кардиналы.
ОБЪЯВЛЕНИЕр эквивалентно AD плюс аксиома униформизации.
Смотрите также
 | Этот теория множеств-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |