Shelah’s stability spectrum theorem
E1453623
UNEXPLORED
Shelah’s stability spectrum theorem is a fundamental result in model theory that classifies first-order theories by describing exactly when they are stable in terms of the number of types over models of different cardinalities.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Shelah’s stability spectrum theorem canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T20836733 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Shelah’s stability spectrum theorem Context triple: [Saharon Shelah, notableIdea, Shelah’s stability spectrum theorem]
-
A.
Shelah’s eventual categoricity conjecture
Shelah’s eventual categoricity conjecture is a central open problem in model theory that predicts when a complete first-order theory is determined up to isomorphism by having a unique model in sufficiently large cardinalities.
-
B.
Classification Theory for Abstract Elementary Classes
"Classification Theory for Abstract Elementary Classes" is a foundational work by Saharon Shelah that extends model-theoretic classification theory to the broader framework of abstract elementary classes, analyzing their structural and stability properties.
-
C.
Shelah’s singular cardinal theory
Shelah’s singular cardinal theory is a major area of set theory developed by Saharon Shelah that investigates the behavior and arithmetic of singular cardinals, leading to deep results about cardinal exponentiation and the structure of the set-theoretic universe.
-
D.
Vaught conjecture
The Vaught conjecture is an open problem in mathematical logic and model theory that predicts a precise restriction on the possible numbers of countable models of a complete first-order theory.
-
E.
Skolem hulls
Skolem hulls are the smallest substructures of a model that contain a given set of elements and are closed under all definable Skolem functions, playing a key role in constructing countable elementary submodels in model theory.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Shelah’s stability spectrum theorem Target entity description: Shelah’s stability spectrum theorem is a fundamental result in model theory that classifies first-order theories by describing exactly when they are stable in terms of the number of types over models of different cardinalities.
-
A.
Shelah’s eventual categoricity conjecture
Shelah’s eventual categoricity conjecture is a central open problem in model theory that predicts when a complete first-order theory is determined up to isomorphism by having a unique model in sufficiently large cardinalities.
-
B.
Classification Theory for Abstract Elementary Classes
"Classification Theory for Abstract Elementary Classes" is a foundational work by Saharon Shelah that extends model-theoretic classification theory to the broader framework of abstract elementary classes, analyzing their structural and stability properties.
-
C.
Shelah’s singular cardinal theory
Shelah’s singular cardinal theory is a major area of set theory developed by Saharon Shelah that investigates the behavior and arithmetic of singular cardinals, leading to deep results about cardinal exponentiation and the structure of the set-theoretic universe.
-
D.
Vaught conjecture
The Vaught conjecture is an open problem in mathematical logic and model theory that predicts a precise restriction on the possible numbers of countable models of a complete first-order theory.
-
E.
Skolem hulls
Skolem hulls are the smallest substructures of a model that contain a given set of elements and are closed under all definable Skolem functions, playing a key role in constructing countable elementary submodels in model theory.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.