Tall cardinal

large cardinal number 𝜅 such that, for any ordinal 𝜆, there is an elementary embedding 𝑗: 𝑉→𝑀 with critical point 𝜅 such that 𝑗(𝜅)>𝜆 and 𝑀 contains all 𝜅‐sequences of 𝑀

Pronunciation

Categories