We construct a κ−κ−complete ultrafilter WW over κκ such that ¬¬Gal(κ,W,κ+)(κ,W,κ+) and Gal(κ,W,κ++)(κ,W,κ++). This answers a question of T. Benhamou and G. Goldberg.
生成讲解博客的中文版本
生成AI智能校验的中文版本