The Unique Limit Model Conjecture for dependent theories
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.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Sources & referencesView supporting material
Primary source
Saharon Shelah, “Dependent dreams: recounting types”, arXiv:1202.5795 (2012).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.