Baldwin's categoricity conjecture for atomic classes
Baldwin's categoricity conjecture for atomic classes
Let be a countable first-order theory and let be its class of atomic models. Baldwin's conjecture. If is categorical in , then is -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.
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.