Return to Question

replaced http://mathoverflow.net/ with https://mathoverflow.net/

Source Link

edited Apr 13, 2017 at 12:58

1
2
3

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 the following theory countably axiomatizable?

Edit: I mean $T_\Omega$.

added 28 characters in body

Source Link

edited Dec 14, 2016 at 2:28

1
8

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?

Edit: I mean $T_\Omega$.

Source Link

asked Dec 13, 2016 at 23:46

1
8

Is every formula of LΩ equivalent to a formula of L1 modulo T1?

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?

lo.logic set-theory model-theory