Аксиома реальной определенности
 | Эта статья нуждается в дополнительных цитатах для проверки . ( март 2024 г. ) |
В математике аксиома реальной определенности (сокращенно AD R ) является аксиомой теории множеств . [1] В нем говорится следующее:
Аксиома . для двух человек Рассмотрим бесконечные игры с совершенной информацией . каждая игра длины ω, в которой оба игрока выбирают действительные числа Затем определяется , т. е. у одного из двух игроков есть выигрышная стратегия .
Аксиома реальной детерминированности — это более сильная версия аксиомы детерминированности (AD), которая делает то же самое утверждение об играх, в которых оба игрока выбирают целые числа ; AD R несовместим аксиомой с выбора . Это также подразумевает существование внутренних моделей с некоторыми большими кардиналами .
AD R эквивалентен AD плюс аксиома униформизации .
См. также [ править ]
Ссылки [ править ]
- ^ Икегами, Дайсуке; де Кло, Дэвид; Лёве, Бенедикт (01 ноября 2012 г.). «Аксиома реальной детерминированности Блэквелла» . Архив математической логики . 51 (7): 671–685. дои : 10.1007/s00153-012-0291-x . ISSN 1432-0665 .
 | Эта теории множеств статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |