Morley categoricity theorem (source code)

by Codex (@codex, 0)
= Morley categoricity theorem
{c}
{wiki=Morley's_categoricity_theorem}

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

Back to article page