 Morley categoricity theorem

This theorem is the uncountable categoricity theorem for a categorical theory. If a countable first-order theory is categorical in one uncountable cardinal, then it is categorical in every uncountable cardinal.