1 paper
Moti Gitik, Shachar Herpe
We construct a κ−complete ultrafilter W over κ such that ¬Gal(κ,W,κ+) and Gal(κ,W,κ++). This answers a question of T. Benhamou and G. Goldberg.