Shelah's Main Gap Theorem states that for all first-order, complete theories, T, in a countable language, we have that either $$I(T,\aleph_\alpha)=2^{\aleph_\alpha}$$ or $$I(T,\aleph_\alpha)<\beth_{\omega_1}(\alpha)$$ This result, while beautiful, leaves some questions. Can analogues of this result be extended to larger languages? Do other theorems exists for logics like $L_{\omega_1 \omega}$ or $L_{\omega_1 \omega}(Q)$? Do there exist any logics without the 'gap phenomenon'?
Any resources would be helpful. Thanks!