Timeline for Kruskal's tree theorem and $\Pi_1$ sentences of linear orderings with finitely many constants
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 1, 2018 at 7:44 | vote | accept | Dino Rossegger | ||
| Apr 1, 2018 at 6:58 | answer | added | Dan Turetsky | timeline score: 2 | |
| Mar 31, 2018 at 15:33 | history | asked | Dino Rossegger | CC BY-SA 3.0 |