 Morley categoricity theorem

ID: morley-categoricity-theorem

If a countable first-order theory is categorical in one uncountable cardinal, then it is categorical in every uncountable cardinal.

 New to topics? Read the docs here!