Timeline for Undecidable theories easier than $Q$
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 6, 2011 at 1:56 | comment | added | Quinn Culver | Steve Simpson discusses the lack of natural examples of c.e. degrees between $0$ and $0'$ in this paper. | |
| Jul 5, 2011 at 19:08 | vote | accept | David Harris | ||
| Jul 5, 2011 at 18:04 | answer | added | Carl Mummert | timeline score: 18 | |
| Jul 5, 2011 at 16:41 | history | asked | David Harris | CC BY-SA 3.0 |