« first day (2927 days earlier)      last day (965 days later) » 

11:27 AM
Is the one-point compactification of $\mathbb{N}$ computably countable? No top-level tag - probably could be a reasonable fit? Maybe could be added, too?
3
Q: Is the one-point compactification of $\mathbb{N}$ computably countable?

Andrej BauerThe one-point compactification $\mathbb{N}_\infty$ of $\mathbb{N}$ is obtained from the discrete space $\mathbb{N}$ by adjoining a limit point $\infty$. It may be identified with the subspace of Cantor space $$ \mathbb{N}_\infty = \{ \alpha \in \{0,1\}^\mathbb{N} \mid \forall n \,.\, \alpha_n \ge...

 

« first day (2927 days earlier)      last day (965 days later) »