Return to Revisions

2 of 3

added 28 characters in body

edited Dec 14, 2016 at 2:28

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?

Edit: I mean $T_\Omega$.

lo.logic set-theory model-theory

asked Dec 13, 2016 at 23:46

1
8