THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS (Q4647115): Difference between revisions
From MaRDI portal
Set profile property. |
Normalize DOI. |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1017/jsl.2018.19 / rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963288642 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1711.08704 / rank | |||
Normal 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