Excellence under forcing for atomic classes

At least 12 years old · documented by

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 2ℵ0=λ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 2ℵ02^{\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.

References

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.