Shelah's saturation characterization conjecture for dependent theories
Shelah's saturation characterization conjecture for dependent theories
Let be a first-order theory, let be a model of , and let be an infinite cardinal. A sequence in is indiscernible when its order-indiscernibility is preserved over parameters from ; a sequence can be continued when it has an indiscernible extension, and a cut is a partition of its index order at which such continuation is considered. Saturation characterization conjecture. is -saturated if and only if it is -saturated and every indiscernible sequence of elements of with can be continued, with the analogous condition holding for cuts. The claim proposes a characterization paralleling the stable-theory case; the source gives no resolution or further hypotheses beyond the displayed formulation.
Sources & referencesView supporting material
Primary source
Saharon Shelah, “Dependent dreams: recounting types”, arXiv:1202.5795 (2012).
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.