Atomic saturation conjecture for stable theories without the finite cover property

Let TT be a theory with elimination of quantifiers, and let MM be a model of TT. For a filter DD on λ\lambda, write Mλ/DM^\lambda/D for the reduced power and 0λ/D\aleph_0^\lambda/D for the corresponding ultrapower cardinal. Assume that TT is stable without the finite cover property and that DD is a (λ,0)(\lambda,\aleph_0)-regular filter on λ\lambda.

Atomic saturation conjecture.

Mλ/D is (0λ/D, atomically)-saturated.M^\lambda/D\text{ is }(\aleph_0^\lambda/D,\text{ atomically})\text{-saturated}.

The claim is stated in the context of questions about atomic saturation of reduced powers and the stable case. The source does not provide a resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Saharon Shelah, “Atomic saturation of reduced powers”, arXiv:1601.04824 (2023).

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.