Cofinality of normal ideals on $P_\kappa(\lambda)$, I

by Matet and Pean and Shelah. [MPSh:713]

Given an ordinal delta <= lambda and a cardinal theta <= kappa, an ideal J on P_{kappa}(lambda) is said to be lbrack delta rbrack^{< theta}-normal if given B_e in J for e in P_theta (delta), the set of all a in P_{kappa}(lambda) such that a in B_e for some e in P_{|a cap theta |}(a cap delta) lies in J . We give necessary and sufficient conditions for the existence of such ideals and we describe the least one and we compute its cofinality.

Back to the list of publications