2 problems

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…

Let $S$ be a consistency property for $\mathrm{L}_{\infty\infty}$. Mansfield's completeness theorem produces a Boolean-valued model $\mathcal{M}_S$ over…