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