THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS (Q4647115): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1017/jsl.2018.19 / rank | |||
| Property / cites work | |||
| Property / cites work: On the strength of Ramsey's theorem for pairs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The inductive strength of Ramsey's theorem for pairs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3140636 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On recursion theory in <i>IΣ</i><sub>1</sub> / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Slicing the Truth / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The proof-theoretic strength of Ramsey's theorem for pairs and two colors / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3395521 / rank | |||
Normal rank | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q128775999 / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1017/JSL.2018.19 / rank | |||
Normal rank | |||
Latest revision as of 14:58, 30 December 2024
scientific article; zbMATH DE number 6997556
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS |
scientific article; zbMATH DE number 6997556 |
Statements
THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS (English)
0 references
4 January 2019
0 references
reverse mathematics
0 references
Ramsey's theorem
0 references
first-order part
0 references
conservation
0 references
bounding
0 references
\(B\Sigma^0_3\)
0 references
Mathias forcing
0 references
double jump control
0 references
