Reverse mathematics and a Ramsey-type König's Lemma (Q4899173)
From MaRDI portal
scientific article; zbMATH DE number 6122635
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reverse mathematics and a Ramsey-type König's Lemma |
scientific article; zbMATH DE number 6122635 |
Statements
Reverse mathematics and a Ramsey-type König's Lemma (English)
0 references
7 January 2013
0 references
Ramsey's theorem for pairs
0 references
weak König's lemma
0 references
reverse mathematics
0 references
