Timeline for Is there constructive proof of the fact that every recursive set $A \ne \varnothing$ is recursively enumerable in non-decreasing order?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 9, 2012 at 12:21 | history | edited | Goldstern | CC BY-SA 3.0 |
enumeration, not necessarily increasing
|
| Jan 8, 2012 at 19:59 | history | answered | Goldstern | CC BY-SA 3.0 |