Timeline for Is the one-point compactification of $\mathbb{N}$ computably countable?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 4, 2021 at 7:16 | history | edited | Martin Sleziak |
added the (compactifications) tag
|
|
| Sep 4, 2021 at 7:14 | history | edited | YCor |
edited tags
|
|
| Aug 27, 2021 at 16:12 | comment | added | Andrej Bauer | The question arose after a discussion with Martín, actually. | |
| Aug 27, 2021 at 13:35 | comment | added | Gro-Tsen | You probably already know about it, but just in case, the paper by Martín Escardó, “Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics” seems to be worth at least mentioning here for much information about $\mathbb{N}_\infty$. | |
| Aug 27, 2021 at 12:34 | vote | accept | Andrej Bauer | ||
| Aug 27, 2021 at 12:30 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
added 828 characters in body
|
| Aug 27, 2021 at 12:28 | answer | added | Joel David Hamkins | timeline score: 18 | |
| Aug 27, 2021 at 11:08 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
deleted 2 characters in body
|
| Aug 27, 2021 at 11:02 | history | asked | Andrej Bauer | CC BY-SA 4.0 |