Excellence under forcing for atomic classes

Let P{\mathbb P} be a c.c.c. forcing notion of cardinality λ\lambda such that forcing with P{\mathbb P} forces Martin's axiom and 20=λ2^{\aleph_0}=\lambda, where λ=λ<λ>ω1\lambda=\lambda^{<\lambda}>\beth_{\omega_1}. Let TT be a countable first-order theory with atomic model class KTK_T. Forcing excellence conjecture. If KTK_T is categorical in every cardinal below 202^{\aleph_0}, then KTK_T is excellent. This is presented as a further conditional form of the excellence problem, with additional discussion deferred to the cited work.

Sources & referencesView supporting material

Primary source

Saharon Shelah, “A.E.C. with not too many models”, arXiv:1302.4841 (2013).

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.