A note on the normal filters extension property

Abstract

We show that if ${\lambda }^{<\kappa }=\lambda$ and every normal filter on $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.

arXiv comment4 pages