Categoricity in power¶
Morley, M. (1965). Categoricity in power. Transactions of the American Mathematical Society, 114(2), 514-538.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Cardinality
- In model theory, the Löwenheim-Skolem theorems guarantee that any first-order theory with an infinite model has models of every infinite cardinality; Morley's theorem
This sourceProves that a countable theory categorical in some uncountable cardinal is categorical in all uncountable cardinals, founding modern (stability) model theory with cardinality as the organising parameter.
- In model theory, the Löwenheim-Skolem theorems guarantee that any first-order theory with an infinite model has models of every infinite cardinality; Morley's theorem
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:394fc5c3f4b1 · see in the full table