Timeline for Is the positive fragment of second-order logic compact?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Mar 1 at 19:05 | history | bounty ended | CommunityBot | ||
| S Mar 1 at 19:05 | history | notice removed | CommunityBot | ||
| Feb 28 at 17:14 | comment | added | Pace Nielsen | Colin McQuillen posted an answer over on stack exchange. | |
| S Feb 22 at 17:58 | history | bounty started | Noah Schweber | ||
| S Feb 22 at 17:58 | history | notice added | Noah Schweber | Draw attention | |
| Feb 13 at 0:56 | history | asked | Greg Nisbet | CC BY-SA 4.0 |