Return to Revisions

3 of 3

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

edited Apr 13, 2017 at 12:58

1
2
3

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