Grossberg–VanDieren's categoricity-to-tameness conjecture for abstract elementary classes
Let be an abstract elementary class (AEC), let denote its Löwenheim–Skolem number, and let be the relevant Hanf bound. A class is -tame when types over models are distinguished by their restrictions to submodels of size at most .
Grossberg–VanDieren's categoricity-to-tameness conjecture. Suppose is an AEC. If is categorical in some (or some other value depending only on ), then there exists such that is -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
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.