Timeline for Martin's cone theorem and recursion theory
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 26, 2014 at 23:03 | comment | added | 喻 良 | I would like to add a remark that it can be shown that the base is not second order arithmetic definable. | |
| May 7, 2011 at 5:23 | vote | accept | Andrés E. Caicedo | ||
| Apr 13, 2011 at 14:48 | comment | added | Bjørn Kjos-Hanssen | Nice, much better than my example. | |
| Apr 13, 2011 at 9:07 | history | answered | 喻 良 | CC BY-SA 3.0 |