Representations of Uncomputable and Uncountable Sets (2008)
&gt; A much more interesting question is whether the space of binary streams is compact, but that is another story.<p>I don&#x27;t know very much about topology, so I&#x27;m having some trouble understanding what his means. How are open sets defined in the space of binary streams? What would be the implications of this space being compact?