Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 144 3 c Solution 2026-09-28
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.