Morley categoricity theorem
= Morley categoricity theorem
{c}
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.