Timeline for What is the "iterated definability" limit of first-order logic?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 19, 2023 at 1:05 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 10 characters in body
|
| S Jan 18, 2023 at 6:29 | history | bounty ended | Noah Schweber | ||
| S Jan 18, 2023 at 6:29 | history | notice removed | Noah Schweber | ||
| Jan 14, 2023 at 18:51 | vote | accept | Noah Schweber | ||
| Jan 13, 2023 at 14:33 | answer | added | Farmer S | timeline score: 6 | |
| S Jan 12, 2023 at 5:32 | history | bounty started | Noah Schweber | ||
| S Jan 12, 2023 at 5:32 | history | notice added | Noah Schweber | Draw attention | |
| Jan 11, 2023 at 18:00 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 261 characters in body
|
| Jan 10, 2023 at 17:55 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 247 characters in body
|
| Jan 10, 2023 at 17:46 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 292 characters in body
|
| Jan 10, 2023 at 4:45 | history | edited | Noah Schweber | CC BY-SA 4.0 |
deleted 5 characters in body
|
| Jan 10, 2023 at 4:33 | history | asked | Noah Schweber | CC BY-SA 4.0 |