weakly compact cardinal
Mahlo cardinal 𝜅 such that every height‐𝜅 tree either has a size‐𝜅 level or a size‐𝜅 branch
strongly compact cardinal
large cardinal number 𝜅 such that any 𝜅‐complete filter extends to a 𝜅‐complete ultrafilter
Mahlo cardinal 𝜅 such that every height‐𝜅 tree either has a size‐𝜅 level or a size‐𝜅 branch