Timeline for Are undecidable consequences of Con recursively enumerable?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 17, 2015 at 22:16 | history | edited | Goldstern | CC BY-SA 3.0 |
\\, -> \, (TeX)
|
| May 2, 2011 at 14:21 | vote | accept | Alex Gavrilov | ||
| May 2, 2011 at 12:29 | history | answered | Emil Jeřábek | CC BY-SA 3.0 |