weakly compact cardinal (Q2905392)
(Redirected from Q12054636)
Mahlo cardinal 𝜅 such that every height‐𝜅 tree either has a size‐𝜅 level or a size‐𝜅 branch
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | weakly compact cardinal |
Mahlo cardinal 𝜅 such that every height‐𝜅 tree either has a size‐𝜅 level or a size‐𝜅 branch |
Statements
1961
0 references
![{\displaystyle \forall f\in \{0,1\}^{[\kappa ]^{2}}\exists S\subset \kappa \colon |S|=\kappa \land \forall s,t\in S\colon f(s)=f(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b6ffca2f0d8ececd520697b54feff3be34176c0)
0 references
Identifiers
0 references
Sitelinks
Wikipedia(5 entries)
- cswiki Slabě kompaktní kardinál
- enwiki Weakly compact cardinal
- hewiki מונה קומפקטי חלש
- jawiki 弱コンパクト基数
- kowiki 약콤팩트 기수