Q: Is every formula of $L_\Omega$ equivalent to a formula of $L_1$ modulo $T_1$?
The notation comes from the following question: Is the following theory countably axiomatizable?
Is every formula of LΩ equivalent to a formula of L1 modulo T1?
David Pokorny
- 1
- 8