Timeline for Extracting a common convergent indexing from an uncountable family of sequences
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 12, 2023 at 20:21 | comment | added | Joel David Hamkins | I think I gave this diagonal argument already in my answer. Namely, for each indexing $\alpha$, we form a 0/1 sequence that when restricted to $\alpha$ does not converge. For example, alternate 0/1 on the values of $\alpha$, and $0$ otherwise. Isn't this the diagonalization you intend? | |
| Dec 12, 2023 at 13:35 | history | answered | terceira | CC BY-SA 4.0 |