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 𝑀
en-GB/ˈtɔːl ˈkɑːdɪnl/
en-US/ˈtɔl ˈkɑɹdənəl/
large cardinal number 𝜅 such that, for any ordinal 𝜆, there is an elementary embedding 𝑗: 𝑉→𝑀 with critical point 𝜅 such that 𝑗(𝜅)>𝜆 and 𝑀 contains all 𝜅‐sequences of 𝑀