1 problem

Let $\mathrm{L}$ be a relational $\omega$-signature. A theory in $\mathrm{L}_{\infty\infty}$ is Boolean satisfiable if it has a Boolean-valued model satisfying the theory. A Boolea…