Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-144/3/c/solution

No. Let have unary predicates and a unary function . Let say that and partition the universe into two infinite sets and that is an involution mapping bijectively onto . This is a complete theory. In every infinite cardinal , a model of total size has , and any two such bijections are isomorphic. Hence is -categorical for every infinite .
Take . The reduct theory merely says that and are two infinite parts. At any uncountable , it has one model with and , and another with . They are not isomorphic. Therefore is not -categorical, giving the reduct need not preserve uncountable categoricity counterexample.

New to topics? Read the docs here!