Conjecture on mixing models for Boolean-satisfiable infinitary theories
Conjecture on mixing models for Boolean-satisfiable infinitary theories
Let be a relational -signature. A theory in 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 -theories which do not have a Boolean-valued model with the mixing property. This conjecture proposes a limitation on strengthening Boolean completeness for ; 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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.