The main gap conjecture, e.g. for uncountable first order theories, for AECs, and for \aleph_1-saturated models of a countable theory.

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

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