Failure of Boolean-ultrapower saturation invariance without distributivity

From papers

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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.