Оглавление
Аксиома реальной детерминированности
-
Определение аксиомы реальной детерминированности
- Аксиома реальной детерминированности (ADR) является частью теории множеств.
- Она утверждает, что в бесконечных играх с идеальной информацией существует выигрышная стратегия для обоих игроков.
- ADR является более строгой версией аксиомы детерминированности, которая рассматривает игры с целыми числами.
- Она несовместима с аксиомой выбора и подразумевает существование внутренних моделей с определенными кардиналами.
- ADR эквивалентна AD плюс аксиома униформизации.
-
Дополнительная информация
- Статья содержит ссылку на аксиому проективной детерминированности и топологическую игру.
- Призыв к расширению статьи для улучшения Википедии.