Categoricity transfer conjecture for abstract elementary classes

At least 12 years old · documented by

Let k=(Kk,≤k){\mathfrak k}=(K_{\mathfrak k},\leq_{\mathfrak k}) be an abstract elementary class, with Löwenheim–Skolem–Tarski number LSTk{\rm LST}_{\mathfrak k}. Categoricity transfer conjecture. If KkK_{\mathfrak k} is categorical in some cardinal λ\lambda sufficiently large compared with LSTk{\rm LST}_{\mathfrak k}, then KkK_{\mathfrak k} is categorical in every μ≥λ\mu\geq\lambda. This is a central categoricity-transfer problem for abstract elementary classes; the source notes partial progress via good frames but does not claim a general proof.

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.