Theorem 1.8 (Los-Vaught test). Assuming that:

• $T$ is an $L$-theory

• $T$ has no finite models

• There exists some $K\ge |L|+{\aleph }_0$ such that any two models of $T$ of cardinality $\kappa$ are elementarily equivalent