Timeline for Does every cuppable r.e. set cup with a low set?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 25, 2021 at 13:41 | comment | added | Peter Gerdes | Ok, yah sorry for being so dense but I was reading your answer as saying the conclusion was positive and then we kept talking past each other because of that initial confusion. Well that and getting confused about my theorems :-) | |
| Nov 25, 2021 at 13:39 | vote | accept | Peter Gerdes | ||
| Nov 23, 2021 at 1:56 | history | edited | 喻 良 | CC BY-SA 4.0 |
added 226 characters in body
|
| Nov 23, 2021 at 1:53 | comment | added | 喻 良 | Now I see why my comments are confusing. I just made it clearer. | |
| Nov 22, 2021 at 9:17 | comment | added | Peter Gerdes | Wait, but then the claim comes out false. For, Soare proves that low cuppable is equivalent to PS which is equivalent to Non-cappable. So pick an r.e. set that both cups and caps. If that set was low-cuppable then it would be non-cappable. Contradiction. I assumed you were saying that because low-cuppability is equivalent to PS the claim was true (hence the statement about equiv) but maybe I misread what you were saying. | |
| Nov 12, 2021 at 1:59 | history | answered | 喻 良 | CC BY-SA 4.0 |