Shelah's saturation characterization conjecture for dependent theories

Let TT be a first-order theory, let MM be a model of TT, and let κ\kappa be an infinite cardinal. A sequence aα:α<δ\langle a_\alpha:\alpha<\delta\rangle in MM is indiscernible when its order-indiscernibility is preserved over parameters from MM; 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. MM is κ\kappa-saturated if and only if it is T+|T|^+-saturated and every indiscernible sequence aα:α<δ\langle a_\alpha:\alpha<\delta\rangle of elements of MM with δ<κ\delta<\kappa 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

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.