Timeline for New research on coding in reverse mathematics?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 16, 2020 at 12:35 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
spelling
|
| Jul 26, 2013 at 14:44 | vote | accept | Benedict Eastaugh | ||
| Jul 26, 2013 at 14:44 | comment | added | Benedict Eastaugh | Hi Andrej, I left this open for a few months in the hopes that someone could answer my original question, but given the silence I take it that the answer is in fact "No, no one's looked at this since." So I'm going to accept your excellent answer. As you say, this sounds like a nice little research project. | |
| Mar 11, 2013 at 15:42 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
added 56 characters in body; added 135 characters in body
|
| Mar 11, 2013 at 15:35 | history | answered | Andrej Bauer | CC BY-SA 3.0 |