Timeline for New research on coding in reverse mathematics?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 16, 2020 at 13:23 | history | edited | Sam Sanders | CC BY-SA 4.0 |
added 43 characters in body
|
| Oct 16, 2020 at 12:37 | comment | added | Andrej Bauer | @BenedictEastaugh: I think you should prefer this answer to mine, as it more directly addresses the question you are interested in. | |
| Oct 16, 2020 at 10:46 | history | answered | Sam Sanders | CC BY-SA 4.0 |