Reduct of an aleph-zero-categorical theory
= Reduct of an aleph-zero-categorical theory
Every reduct of an aleph-zero-categorical theory to a sublanguage is aleph-zero-categorical. There can only be fewer formulas in each arity, so the finite-formula characterization in the <Ryll-Nardzewski theorem> is preserved.