Added to Favorites

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

|last=Gaifman|first= Haim
|chapter=Elementary embeddings of models of set-theory and certain subtheories|title=Axiomatic set theory |series=Proc. Sympos. Pure Math.|volume= XIII, Part II|pages= 33--101|publisher= Amer. Math. Soc.|publication-place=Providence R.I.|year= 1974}}

- Axiom I3: There is a nontrivial elementary embedding of V
_{λ }into itself. - Axiom I2: 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. - Axiom I1: There is a nontrivial elementary embedding of V
_{λ+1 }into itself. - Axiom I0: There is a nontrivial elementary embedding of L(V
_{λ+1 }) into itself with the critical point below λ.

These are essentially the strongest known large cardinal axioms not known to be inconsistent in ZFC; the axiom for Reinhardt cardinals is stronger, but is not consistent with the axiom of choice.

If j is the elementary embedding mentioned in one of these axioms and κ is its critical point, then λ is the limit of $j^n(kappa)$ as n goes to ω. More generally, if the axiom of choice holds, it is provable that if there is a nontrivial elementary embedding of V_{α} into itself then α is either a limit ordinal of cofinality ω or the successor of such an ordinal.

The axioms I1, I2, and I3 were at first suspected to be inconsistent (in ZFC) as it was thought possible that Kunen's result that Reinhardt cardinals are inconsistent with the axiom of choice could be extended to them, but this has not yet happened and they are now usually believed to be consistent.

- Kanamori, Akihiro (2003).
*The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings*. 2nd ed, Springer. ISBN 3-540-00384-3.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Wednesday February 13, 2008 at 14:06:17 PST (GMT -0800)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Wednesday February 13, 2008 at 14:06:17 PST (GMT -0800)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.