Categoricity transfer conjecture for abstract elementary classes

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.

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

No solutions have been posted yet.