Woodin-kardinaal
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.
This article is issued from
Wikipedia.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.