Shelah's categoricity conjecture for L_{\omega_1,\omega}

If a sentence is categorical above the Hanf number then it is categorical in all cardinals above the Hanf number.

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

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