3 problems
Finite-level non-structure conjecture. The theory has models of cardinality that are pairwise non-isomorphic over .
Higher instability conjecture. The theory has models of cardinality that are pairwise non-isomorphic over .
Generalized Gaifman conjecture. The theory has models of cardinality that are pairwise non-isomorphic over .