Вудин кардинал
-
Определение кардиналов Вудина
- Кардиналы Вудина — это кардиналы, для которых существует транзитивный класс N и элементарное встраивание j с критическим ударом j(λ) ≥ δ.
- Название намекает на классический результат, согласно которому кардинал является Вудином, если для каждого множества S множество {λ < κ ∣ λ < κ и λ ∈ S} является стационарным.
-
Различие между кардиналами с гипервудином и слабыми гипервудином
- Кардиналы с гипервудином не зависят от выбора набора S для кардиналов-гипервудинов.
-
Кардиналы Вудина-в-списке-следующих-допустимых кардиналов
- Кардинал δ называется Woodin-in-the-next-допустимым, если для любой функции f: δ → δ такой, что f ∈ Lα(Vδ), существует κ < δ и удлинитель E ∈ Vδ с критическим ударом E = κ и ViE(f)(κ) ⊂ Ult(V,E).
-
Примечания и ссылки
- Ссылки на статьи и изображения, связанные с кардиналами Вудина, включены в статью.
- Упоминаются доказательства проективной детерминированности и черновики глав.
- Статья также содержит ссылки на другие работы и материалы, связанные с кардиналами Вудина.