Timeline for If $X \leq_T Y + 0'$ does there exist $Z \leq_T Y$, $Z \leq_T X$ with $X \leq_T Z'$?
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 7, 2022 at 2:34 | vote | accept | Peter Gerdes | ||
May 25, 2022 at 4:36 | comment | added | Peter Gerdes | I will as soon as it lets me (the site requires I wait 2 days) but thanks! | |
May 25, 2022 at 3:34 | comment | added | LSpice | Don't forget to accept your answer if it answers your question. | |
May 25, 2022 at 3:34 | history | edited | LSpice | CC BY-SA 4.0 |
0' -> $0'$
|
May 24, 2022 at 23:31 | history | edited | Peter Gerdes | CC BY-SA 4.0 |
Simplified
|
May 24, 2022 at 23:20 | history | answered | Peter Gerdes | CC BY-SA 4.0 |