Failure of Boolean-ultrapower saturation invariance without distributivity
Let be a cardinal, let be a complete Boolean algebra, and let be a -regular ultrafilter on . Let and be elementarily equivalent -structures with .
Boolean-ultrapower saturation conjecture. There exist such , , , , and for which
while
This conjectures that the saturation equivalence established for -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.