Grossberg–VanDieren's categoricity-to-tameness conjecture for abstract elementary classes
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.
Sources & referencesView supporting material
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
Sign in to submit a solution.
No solutions have been posted yet.