Baldwin's categoricity conjecture for atomic classes

About 13 years old · traced to

Let TT be a countable first-order theory and let KTK_T be its class of atomic models. Baldwin's conjecture. If KTK_T is categorical in ℶ1\beth_1, then KTK_T is ℶ0\beth_0-stable, equivalently absolutely categorical. This asks whether categoricity in the first uncountable cardinal forces the strongest stability behavior for the atomic class; the source presents it as an unresolved question.

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.