Excellence under forcing for atomic classes
Excellence under forcing for atomic classes
Let be a c.c.c. forcing notion of cardinality such that forcing with forces Martin's axiom and , where . Let be a countable first-order theory with atomic model class . Forcing excellence conjecture. If is categorical in every cardinal below , then 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
Sign in to submit a solution.
No solutions have been posted yet.