ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F9309 on R4057: The set of boolean standard sequences is uncountable

F9309

Formulation 0

Let $X = \{ 0, 1 \}^{\mathbb{N}}$ be the D12: Set of boolean standard sequences.

Then $X$ is an D1195: Uncountable set.