Timeline for Does every cofinal branch through Kleene's O compute true arithmetic?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 11, 2020 at 8:11 | comment | added | Joel David Hamkins | Thanks very much! Here is the DOI for the JSL version: doi.org/10.2178/jsl/1082418544 | |
| May 11, 2020 at 8:05 | vote | accept | Joel David Hamkins | ||
| May 11, 2020 at 2:54 | history | edited | Dan Turetsky | CC BY-SA 4.0 |
added 19 characters in body
|
| May 11, 2020 at 0:08 | comment | added | Noah Schweber | That's a lovely result, I was totally unaware of that! | |
| May 10, 2020 at 22:47 | history | answered | Dan Turetsky | CC BY-SA 4.0 |