Instability conjecture for the number of models of a theory
Instability conjecture for the number of models of a theory
Let be a theory, let and -related cardinals satisfy the displayed cardinal-arithmetic hypotheses below, and let denote the number of models of of cardinality up to the equivalence considered in the source. A theory is definably stable when it has the corresponding stability property; here denotes the cofinality of .
Instability conjecture. If is strong limit, , and is not definably stable, then
The same conclusion should hold under the weaker cardinal assumption , and, moreover, in that case one should have
These assertions concern the model spectrum of non-definably-stable theories and strengthen the claim that such theories have more than one model in suitable cardinalities. The supplied span is marked as unresolved, and the surrounding text gives no further resolution or precise definition of every notation used in the span.
Sources & referencesView supporting material
Primary source
Saharon Shelah, “Model Theory for a Compact Cardinal”, arXiv:1303.5247 (2023).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.