Grossberg–VanDieren's categoricity-to-tameness conjecture for abstract elementary classes

Let KK be an abstract elementary class (AEC), let LS(K)LS(K) denote its Löwenheim–Skolem number, and let Hanf(LS(K))Hanf(LS(K)) be the relevant Hanf bound. A class is χ\chi-tame when types over models are distinguished by their restrictions to submodels of size at most χ\chi.

Grossberg–VanDieren's categoricity-to-tameness conjecture. Suppose KK is an AEC. If KK is categorical in some λHanf(LS(K))\lambda \geq Hanf(LS(K)) (or some other value depending only on LS(K)LS(K)), then there exists χ<Hanf(LS(K))\chi < Hanf(LS(K)) such that KK is χ\chi-tame.

The conjecture asks whether sufficiently high categoricity forces tameness with a bound depending only on the Löwenheim–Skolem number. The supplied text does not state whether it has been resolved, so its database status remains open.

Sources & referencesView supporting material

Primary source

Will Boney, “Tameness from Large Cardinal Axioms”, arXiv:1303.0550 (2014).

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.