Timeline for Why does the Kleene Hierarchy not collapse?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 19, 2010 at 10:07 | comment | added | Ed Dean | The undecidability of the halting problem separates $\Sigma^0_1$ from $\Delta^0_1$. The proof of that fact relatives to any $n>1$. | |
| Dec 19, 2010 at 9:38 | comment | added | nibbles | Thanks for the answer! Can you prove that the hierarchy does not collapse? | |
| Dec 19, 2010 at 9:36 | vote | accept | nibbles | ||
| Dec 19, 2010 at 8:48 | history | answered | Ed Dean | CC BY-SA 2.5 |