Timeline for Why is this new result such a big deal?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S May 12 at 15:06 | history | suggested | CommunityBot | CC BY-SA 4.0 |
fixed link
|
| May 12 at 12:57 | review | Suggested edits | |||
| S May 12 at 15:06 | |||||
| May 29, 2016 at 23:15 | comment | added | Carl Mummert | There is a chance that the question could be misread. The combinatorial principle that the article describes, $\mathsf{RT}^2_2$, is not provable in $\mathsf{RCA}_0$; this has been known for some time. The new result is that $\mathsf{RT}^2_2$ is conservative over $\mathsf{RCA}_0$ for (more than) $\Pi^0_2$ sentences. | |
| May 27, 2016 at 0:06 | answer | added | François G. Dorais | timeline score: 39 | |
| May 27, 2016 at 0:04 | answer | added | Bjørn Kjos-Hanssen | timeline score: 18 | |
| May 26, 2016 at 23:14 | review | First posts | |||
| May 26, 2016 at 23:17 | |||||
| May 26, 2016 at 23:09 | history | asked | none | CC BY-SA 3.0 |