Definition 3.1 ($kappa$-categorical). An $L$-theory is $\kappa$-categorical if it has a unique model of size $\kappa$ up to isomorphism.