Cofinality of normal ideals on P_\kappa(\lambda), I
Abstract
Given an ordinal delta <= lambda and a cardinal theta <= kappa, an ideal J on P_kappa(lambda) is said to be [delta]^{<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.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- April 2004
- DOI:
- 10.48550/arXiv.math/0404318
- arXiv:
- arXiv:math/0404318
- Bibcode:
- 2004math......4318M
- Keywords:
-
- Logic