Na teoria dos conjuntos, um cardinal Woodin (nomeado em homenagem ao matemático, William Hugh Woodin) é um número cardinal λ tal que para todas as funções: f : λ → λ existe um cardinal κ < λ com {f(β)|β < κ} ⊆ κ e uma incorporação elementar j : V → M a partir de V em um modelo interno transitivo M com o ponto crítico κ e Vj(f)(κ) ⊆ M.
Uma definição equivalente é a seguinte: λ é Woodin se e apenas se λ é altamente inacessível e para todos onde existe um < λ que é --forte.
sendo --forte significa que, para todos os ordinais α < λ, existe um que é uma incorporação elementar com ponto crítico , , e .
Um cardinal Woodin é precedido por um conjunto estacionário de cardinais mensuráveis e, portanto, é um cardinal Mahlo.What is a Woodin Cardinal? por John R. Steel 2007 []
Categoria:Matemática Categoria:Teoria dos conjuntos