The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma (Q5004544)
From MaRDI portal
scientific article; zbMATH DE number 7377373
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma |
scientific article; zbMATH DE number 7377373 |
Statements
The strength of Ramsey’s theorem for pairs over trees: I. Weak König’s Lemma (English)
0 references
2 August 2021
0 references
reverse mathematics
0 references
Ramsey's theorem for pairs
0 references
tree theorem for pairs
0 references
weak König's lemma
0 references
weak weak König's lemma
0 references
WKL
0 references
WWKL
0 references
