Timeline for Source on equality-free second-order logic (nontrivially construed)
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 10, 2022 at 18:31 | vote | accept | Noah Schweber | ||
| Nov 10, 2022 at 18:31 | answer | added | Noah Schweber | timeline score: 1 | |
| S Nov 8, 2022 at 5:00 | history | bounty ended | CommunityBot | ||
| S Nov 8, 2022 at 5:00 | history | notice removed | CommunityBot | ||
| S Oct 31, 2022 at 3:33 | history | bounty started | Noah Schweber | ||
| S Oct 31, 2022 at 3:33 | history | notice added | Noah Schweber | Draw attention | |
| Oct 28, 2022 at 16:40 | history | asked | Noah Schweber | CC BY-SA 4.0 |