Failure of Boolean-ultrapower saturation invariance without distributivity

About 8 years old · traced to

Let cappacappa be a cardinal, let cBcB be a complete Boolean algebra, and let UU be a cappacappa-regular ultrafilter on cBcB. Let cMcM and cNcN be elementarily equivalent LL-structures with ∣L∣\leqcappa|L|\leqcappa.

Boolean-ultrapower saturation conjecture. There exist such cappacappa, cBcB, UU, cMcM, and cNcN for which

cM[cB]/U is cappa+-saturated,cM^{[cB]}/U\text{ is }cappa^+\text{-saturated},

while

cN[cB]/U is not cappa+-saturated.cN^{[cB]}/U\text{ is not }cappa^+\text{-saturated}.

This conjectures that the saturation equivalence established for \langlecappa,2⟩\langlecappa,2\rangle-distributive complete Boolean algebras can fail when the distributivity assumption is removed.

References

Primary source

Francesco Parente, “On regular ultrafilters, Boolean ultrapowers, and Keisler's order”, arXiv:1810.04464 (2019).

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.