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):

Related Topics:
Set theory - Mathematics - Large cardinal - Axiom

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

• 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.

Related Topics:
Axiom of choice - Limit ordinal - Cofinality

~ ~ ~ ~ ~ ~ ~ ~ ~ ~