Reduct need not preserve uncountable categoricity
ID: reduct-need-not-preserve-uncountable-categoricity
Let a language partition the universe into two infinite unary predicates and include a bijection between them. Its complete theory is categorical in every infinite cardinal. The reduct forgetting the bijection is not categorical in any uncountable cardinal, because the two infinite parts can have different cardinalities.
New to topics? Read the docs here!