Timeline for Cite for fact that every r.e. degree bounds a 1-generic
Current License: CC BY-SA 4.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Nov 15, 2022 at 4:06 | vote | accept | Peter Gerdes | ||
Nov 15, 2022 at 4:06 | answer | added | Peter Gerdes | timeline score: 0 | |
Nov 4, 2022 at 18:16 | comment | added | Peter Gerdes | I'll email him and ask him. | |
Nov 1, 2022 at 1:08 | comment | added | 喻 良 | The result can be also found in Soare's old version (Ex 3.9, page 99). The proof is credited to Shore. But I remember Shore told me he just found a non-full approximation proof that is not the the first one. I could not find his email right now. But I remember he told who proved it first. | |
Oct 31, 2022 at 14:32 | history | asked | Peter Gerdes | CC BY-SA 4.0 |