Timeline for New research on coding in reverse mathematics?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 19, 2020 at 13:17 | answer | added | Sam Sanders | timeline score: 1 | |
| Oct 16, 2020 at 17:32 | comment | added | Sam Sanders | @JoelDavidHamkins Would those issues pertain to analysis, in particular the Ekeland variation principle? | |
| Oct 16, 2020 at 10:46 | answer | added | Sam Sanders | timeline score: 6 | |
| Jul 26, 2013 at 14:44 | vote | accept | Benedict Eastaugh | ||
| Mar 11, 2013 at 15:35 | answer | added | Andrej Bauer | timeline score: 9 | |
| Mar 11, 2013 at 13:35 | comment | added | Joel David Hamkins | This very issue came up at Keita Yokoyama's talk for the CUNY Logic Workshop last Friday, and I'm very interested to see the answers here. | |
| Mar 11, 2013 at 13:29 | history | asked | Benedict Eastaugh | CC BY-SA 3.0 |