Q: Is every formula of $L_\Omega$ equivalent to a formula of $L_1$ modulo $T_1$? The notation comes from the following question: http://mathoverflow.net/questions/257132/is-the-following-theory-countably-axiomatizable Edit: I mean $T_\Omega$.