weakly compact cardinal

Mahlo cardinal 𝜅 such that every height‐𝜅 tree either has a size‐𝜅 level or a size‐𝜅 branch

Categories: