Science Fair Project Encyclopedia
Strong cardinal
In mathematics, a strong cardinal is a cardinal number κ such that for all ordinal numbers λ there exists an elementary embedding
- j : V → M
from V into a transitive inner model M with critical point κ and
- Vλ ⊆ M.
A λ-strong cardinal is a cardinal number κ such that exists an elementary embedding
- j : V → M
from V into a transitive inner model M with critical point κ and
- Vλ ⊆ M;
thus, κ is strong iff it is λ-strong for all λ.
It should be noted that the least strong cardinal is larger than the least Woodin, superstrong, etc. cardinals, but that the consistency strength of strong cardinals is lower: For example, if κ is Woodin, then Vκ is a model of "ZFC + there is a proper class of strong cardinals".
Last updated: 10-16-2005 06:01:03
03-10-2013 05:06:04
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details