Weakly normal filters and large cardinals (Q2367086)

Let \(\kappa\) be an uncountable cardinal and let \(\lambda\) be a cardinal with \(\lambda\geq\kappa\). This paper studies ideals on \(P_ \kappa \lambda\), the set \(\{x\subseteq\lambda\); \(| x|<\kappa\}\). A (proper, non-principal, \(\kappa\)-complete, fine) ideal \(I\) on \(P_ \kappa \lambda\) is said to be weakly normal if every regressive function \(f:P_ \kappa \lambda\to\lambda\), for some \(\gamma<\lambda\) we have \(\{x\in P_ \kappa\lambda\); \(f(x)<\gamma\}\) is in the filter dual to \(I\). (This definition of weakly normal is stronger than another notion of weakly normal due to Mignone.) The first section of the paper is devoted to showing that if there is a weakly normal ideal on \(P_ \kappa\lambda\) and either \(2^{<\text{cf }\lambda}<\kappa\), or \(\kappa\) is weakly compact and \(\text{cf }\lambda= \kappa\), then \(\kappa\) is \(\lambda\)-compact. So in this case, having a weakly normal ideal on \(P_ \kappa\lambda\) means that \(\kappa\) must be large. The second section of the paper considers cases where \(P_ \kappa \lambda\) carries a weakly normal filter but \(\kappa\) need not be large. For example, the author shows that it is consistent that there is a weakly normal ideal on \(P_ \kappa \lambda\) with \(\omega<\text{cf } \lambda<\kappa\) and \(\kappa\) is not even inaccessible.