Rank-into-rank
|
|
In set theory, a branch of mathematics, a rank-into-rank is a large cardinal λ satisfying one of the following four axioms (commonly known as rank-into-rank embeddings, given in order of increasing consistency strength):
- There is a nontrivial elementary embedding of Vλ into itself.
- There is a nontrivial elementary embedding of V into a transitive class M that includes Vλ where λ is the first fixed point above the critical point.
- There is a nontrivial elementary embedding of Vλ+1 into itself.
- There is a nontrivial elementary embedding of L(Vλ+1 ) into itself with the critical point below λ.
The axioms are called I3, I2, I1, and I0 respectively. Assuming the axiom of choice, it is provable that if there is a nontrivial elementary embedding of Vλ into itself then λ is a limit ordinal of cofinality ω or the successor of such an ordinal.