In de verzamelingenleer, een deelgebied van de wiskunde, is een Woodin-kardinaal (vernoemd naar W. Hugh Woodin) een kardinaalgetal λ zodanig dat er voor alle functies f : λ → λ
een kardinaal κ < λ bestaat waar {f(β)|β < κ} ⊆ κ
en een elementaire inbedding j : V → M
van V in en op een transitief inwendig model M met kritiek punt κ en waar Vj(f)(κ) ⊆ M.
Categorie:Kardinaalgetal