If the class of atomic models of a complete first order theory is categorical in the \aleph_n, is it categorical in every cardinal?
Open the “Model theory and formal languages” section on Wikipedia →
Source: List of unsolved problems in mathematics (CC BY-SA 4.0)