Failure of Boolean-ultrapower saturation invariance without distributivity
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.
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
Sign in to submit a solution.
No solutions have been posted yet.