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

The 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) ← previous day next day → last day (823 days later) »
Transcript for
Aug25
Aug '2127
Aug30
MO editors' lounge
Talk related to editing, tagging and related matters for the s...