Timeline for Expressive power of $\omega$-order logic
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| May 16, 2016 at 12:54 | vote | accept | urpzilmöräqÜ | ||
| May 16, 2016 at 12:29 | vote | accept | urpzilmöräqÜ | ||
| May 16, 2016 at 12:29 | |||||
| May 16, 2016 at 12:25 | vote | accept | urpzilmöräqÜ | ||
| May 16, 2016 at 12:28 | |||||
| May 16, 2016 at 11:52 | answer | added | Goldstern | timeline score: 8 | |
| May 16, 2016 at 11:21 | history | edited | urpzilmöräqÜ | CC BY-SA 3.0 |
added 48 characters in body
|
| May 16, 2016 at 10:49 | history | asked | urpzilmöräqÜ | CC BY-SA 3.0 |