Timeline for Is the theory of ordinals in Cantor normal form with just addition decidable?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 28 at 11:50 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
added 544 characters in body
|
| Aug 27 at 19:55 | vote | accept | cody | ||
| Aug 27 at 12:58 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
added 3 characters in body
|
| Aug 27 at 12:52 | history | answered | Emil Jeřábek | CC BY-SA 4.0 |