= Solution
Yes. By the <Ryll-Nardzewski theorem>, aleph-zero-categoricity of $T$ says that, for every $n$, only finitely many $L$-formulas in $n$ variables exist modulo equivalence over $T$. The $L_0$-formulas form a subcollection. Moreover, two $L_0$-formulas are equivalent modulo $T_0$ exactly when their universal equivalence sentence belongs to $T_0$, equivalently when it follows from $T$. Thus there are only finitely many $L_0$-formulas modulo $T_0$ in each arity. Applying Ryll-Nardzewski again proves that $T_0$ is aleph-zero-categorical. This is the <reduct of an aleph-zero-categorical theory> property.
Back to article page
