AD + - AD+

В теория множеств, AD + это расширение, предложенное В. Хью Вудин, в аксиома детерминированности. Аксиома, которую следует понимать в контексте ZF плюс DC_р (в аксиома зависимого выбора для действительные числа ), утверждает две вещи:

1. Каждые набор реалов это ∞-борелевский.
2. Для любого порядковый λ меньше чем Θ, любое подмножество А из ω^ω, и любые непрерывная функция π: λ^ω→ ω^ω, то прообраз π⁻¹[A] - это решительный. (Здесь λ^ω должен получить топология продукта, начиная с дискретная топология на λ.)

Второй пункт сам по себе упоминается как порядковая определенность.

Смотрите также

• Аксиома проективной детерминированности
• Аксиома реальной определенности
• Проблема суслина
• Топологическая игра

использованная литература

• Вудин, У. Хью (1999). Аксиома определенности, аксиомы принуждения и нестационарный идеал (1-е изд.). Берлин: В. де Грюйтер. п. 618. ISBN  311015708X.