Timeline for a proof that L_min is not in coRE?
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 13, 2010 at 0:08 | answer | added | Ryan Williams | timeline score: 7 | |
| Jan 12, 2010 at 17:46 | history | edited | Charles Siegel | CC BY-SA 2.5 |
fixed subscripts
|
| Jan 12, 2010 at 17:43 | comment | added | Joel David Hamkins | I changed your set-theory tag to computability-theory, which is more apt. | |
| Jan 12, 2010 at 17:42 | history | edited | Joel David Hamkins |
changed set-theory tag to computablity-theory
|
|
| Jan 12, 2010 at 17:36 | history | asked | Aryeh Kontorovich | CC BY-SA 2.5 |