Timeline for Notion of independence of Turing degrees
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 9, 2022 at 15:16 | vote | accept | Noah Schweber | ||
| May 25, 2022 at 3:17 | answer | added | Noah Schweber | timeline score: 1 | |
| Jan 12, 2013 at 11:33 | answer | added | Peter Gerdes | timeline score: 2 | |
| Jan 2, 2013 at 17:43 | history | edited | Noah Schweber | CC BY-SA 3.0 |
added 7 characters in body
|
| Jan 2, 2013 at 17:42 | comment | added | Noah Schweber | Argh, quite right, fixed. | |
| Jan 2, 2013 at 15:08 | comment | added | Andreas Blass |
I don't see how you got from $(A\Delta B)\oplus B>_TB$ to $A\Delta B>_TB$. Fortunately, it's clear how to get to $A\Delta B\not\leq_TB$, and that suffices for your argument.
|
|
| Jan 2, 2013 at 6:42 | history | asked | Noah Schweber | CC BY-SA 3.0 |