The Unique Limit Model Conjecture for dependent theories
Let be dependent, let , let , and let . Suppose is an increasing continuous sequence of models of cardinality whose union is -saturated. The Unique Limit Model Conjecture. There is a club such that all models with and are pairwise isomorphic. This predicts uniqueness, on a club of stages of fixed cofinality, for limit models arising in dependent theories; the source supplies no resolution in the displayed passage.
References
Primary source
Saharon Shelah, “Dependent dreams: recounting types”, arXiv:1202.5795 (2012).
Progress summary
Never refreshed
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.