A note on the normal filters extension property

Abstract

We show that if λ > κ = λ \lambda ^{>\kappa } = \lambda and every normal filter on P κ λ P_\kappa \lambda can be extended to a κ \kappa -complete ultrafilter, then so does every κ \kappa -complete filter on λ \lambda . This answers a question of Gitik.