Аксиома реальной определенности

Аксиома реальной детерминированности Определение аксиомы реальной детерминированности Аксиома реальной детерминированности (ADR) является частью теории множеств.  Она утверждает, что в бесконечных […]

Аксиома реальной детерминированности

  • Определение аксиомы реальной детерминированности

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

    • Статья содержит ссылку на аксиому проективной детерминированности и топологическую игру. 
    • Призыв к расширению статьи для улучшения Википедии. 

Полный текст статьи:

Аксиома реальной определенности

Оставьте комментарий

Прокрутить вверх