Shelah's eventual categoricity conjecture

For every cardinal \lambda there exists a cardinal \mu(\lambda) such that if an AEC K with LS(K){} \le \lambda is categorical in a cardinal above \mu(\lambda) then it is categorical in all cardinals above \mu(\lambda).

Open the “Model theory and formal languages” section on Wikipedia →

Source: List of unsolved problems in mathematics (CC BY-SA 4.0)