reflecting cardinal
large cardinal number 𝜅 for which there is a normal ideal I on 𝜅 such that for every 𝑋∈𝐼⁺, the set of 𝛼∈𝜅 for which 𝑋 reflects at 𝛼 is in 𝐼⁺
weakly compact cardinal
Mahlo cardinal 𝜅 such that every height‐𝜅 tree either has a size‐𝜅 level or a size‐𝜅 branch