ОБЪЯВЛЕНИЕ +
(Перенаправлено с AD plus )
В теории множеств AD + является расширением, предложенным У. Хью Вудином , аксиомы детерминированности . Аксиома, которую следует понимать в контексте ZF плюс DC R ( аксиома зависимого выбора для действительных чисел ), утверждает две вещи:
- Любой набор действительных чисел является ∞-борелевским .
- Для любого ординала λ < Θ любой A ⊆ ω ой , и любая непрерывная функция π : λ ой → ох ой , прообраз π −1 [А] определен . (Здесь λ ой должна быть задана топология произведения , начиная с дискретной топологии на λ .)
Второе предложение само по себе называется порядковой определенностью .
См. также
[ редактировать ]- Аксиома проективной определенности
- Аксиома реальной определенности
- Проблема Суслина
- Топологическая игра
Ссылки
[ редактировать ]- Вудин, В. Хью (1999). Аксиома детерминированности, аксиомы принуждения и нестационарный идеал (1-е изд.). Берлин: В. де Грюйтер. п. 618. ИСБН 311015708X .
 | Эта теории множеств статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |