Are all $\Sigma^0_1$ sets of infinite sequences infinite? I think I figured out some things about $\Sigma^0_1$ and $\Pi^0_1$ in the arithmetical hierarchy, for sets of infinite sequences, and I'm hoping I can get confirmation that I'm right, or can understand the ways in which my thinking is incorrect.
What I think I have figured out is that every set of infinite sequences in $\Sigma^0_1$ must be infinite in size--in fact uncountable--since a sentence containing only existential quantifiers over indexes into a sequence can only require that some digits satisfy a predicate.  Therefore, any sequence satisfying the sentence would do because of a property of a finite number of locations in the sequence.  All subsequent digits after those locations would be allowed to vary freely, in which case the number of sequences with the same initial pattern would be uncountable.
By contrast, sets of infinite sequences in $\Pi^0_1$ may be either be finite or infinite, I think.  For example:
$\{x: (\forall n)\, x[n]=0\}$ contains only one element, $000\ldots$ .
$\{x: (\forall n)\, x[n]=0$ if $n$ is odd$\}$ allows the digits at the even-numbered locations to vary freely, so the number of sequences that satisfy this predicate for all $n$ is uncountable.
Is this correct?  Are there ways in which I'm confused, or some obvious nuance that I'm missing?
First observe that any $S \subseteq \{0,1\}^\mathbb{N}$ described by a $\Delta^0_1$-formula is clopen (open and closed subset), where we topologize with the product topology. Indeed, the subbasic sets of the form $B_{i,k} = \{x \in \{0,1\}^\mathbb{N} \mid x(i) = k\}$ are clopen by definition, and then complements (negation), finite unions (disjunction and bounded $\exists$) and intersections (conjunction and bounded $\forall$) of those are still clopen.
A $\Sigma^0_1$ subset $S \subseteq \{0,1\}^\mathbb{N}$ is a countable union of $\Delta^0_1$ sets, therefore it is open. But every open subset of $\{0,1\}^\mathbb{N}$ is either empty, or it contains a basic open set and is therefore uncountable.