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):
  1. There is a nontrivial elementary embedding of Vλ into itself.
  2. 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.
  3. There is a nontrivial elementary embedding of Vλ+1 into itself.
  4. 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.

 

<< PreviousWord BrowserNext >>
croup
kahless
modern jazz quartet
hodge dual
starflight
joensuu
fifth crusade
lie algebroid
lie groupoid
einherjer
integer basic
leipziger land
principal bundle
soong ai ling
stationary
macroom
subcategory
barclays bank
sun one
low tatra
the two gentlemen of verona
mirc script
green's function
paul watson
christian jewish reconciliation
franklin (automobile)
e. fuller torrey
billy currie
peace of vervins
stephen spender
arthur cayley
bob stump
chronology of shakespeare plays
representation theory
smithwicks
wilhelm stenhammar
which
culture of brazil
tevfik esenc
battle of mons graupius
hilary benn
charlotte mitchell
paul kurtz
ex parte garland