Morley's Categoricity Theorem

A theorem in model theory stating that a complete first-order theory in a countable language that is categorical in some uncountable cardinal κ is categorical in all uncountable cardinals; in other words, categoricity in one uncountable cardinal implies categoricity across the entire uncountable spectrum.