Timeline for Is the one-point compactification of $\mathbb{N}$ computably countable?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 27, 2021 at 12:34 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 1 character in body
|
| Aug 27, 2021 at 12:34 | vote | accept | Andrej Bauer | ||
| Aug 27, 2021 at 12:34 | comment | added | Andrej Bauer | Ah, a classic application of Recursion theorem. And even better, I know how to translate your argument to the internal language of the effective topos. | |
| Aug 27, 2021 at 12:28 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |