THE DEFINABILITY STRENGTH OF COMBINATORIAL PRINCIPLES (Q2976345): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
| (One intermediate revision by one other user not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1017/jsl.2016.10 / rank | |||
| Property / cites work | |||
| Property / cites work: The atomic model theorem and type omitting / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Some logically weak Ramseyan theorems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Turing degrees of certain isomorphic images of computable relations / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Cohesive sets and rainbows / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Algorithmic Randomness and Complexity / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3395521 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the strength of Ramsey's theorem / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5711891 / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1017/JSL.2016.10 / rank | |||
Normal rank | |||
Latest revision as of 07:15, 20 December 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | THE DEFINABILITY STRENGTH OF COMBINATORIAL PRINCIPLES |
scientific article |
Statements
THE DEFINABILITY STRENGTH OF COMBINATORIAL PRINCIPLES (English)
0 references
28 April 2017
0 references
reverse mathematics
0 references
definability strength
0 references
Ramsey's theorem
0 references
free set
0 references
thin set
0 references
rainbow Ramsey theory
0 references
