Conjecture on mixing models for Boolean-satisfiable infinitary theories

Let L\mathrm{L} be a relational ω\omega-signature. A theory in L\mathrm{L}_{\infty\infty} is Boolean satisfiable if it has a Boolean-valued model satisfying the theory. A Boolean-valued model has the mixing property when it satisfies the mixing condition for Boolean-valued semantics. Mixing-model conjecture. There are Boolean-satisfiable L\mathrm{L}_{\infty\infty}-theories which do not have a Boolean-valued model with the mixing property. This conjecture proposes a limitation on strengthening Boolean completeness for L\mathrm{L}_{\infty\infty}; the source provides no evidence that it has been resolved.

Sources & referencesView supporting material

Primary source

Juan M. Santiago and Matteo Viale, “Boolean valued semantics for infinitary logics”, arXiv:2112.09416 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.