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

At least 12 years old · documented by

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.

References

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.