TY - JOUR
T1 - Cofinality of the nonstationary ideal
AU - Matet, Pierre
AU - RosŁanowski, Andrzej
AU - Shelah, Saharon
PY - 2005/12
Y1 - 2005/12
N2 - We show that the reduced cofinality of the nonstationary ideal script N signS κ on a regular uncountable cardinal κ may be less than its cofinality, where the reduced cofinality of script N signS κ is the least cardinality of any family script F sign of nonstationary subsets of κ such that every nonstationary subset of κ can be covered by less than κ many members of F. For this we investigate connections of the various cofinalities of script N signS κ with other cardinal characteristics of κκ and we also give a property of forcing notions (called manageability) which is preserved in <κ-support iterations and which implies that the forcing notion preserves non-meagerness of subsets of κκ (and does not collapse cardinals nor changes cofinalities).
AB - We show that the reduced cofinality of the nonstationary ideal script N signS κ on a regular uncountable cardinal κ may be less than its cofinality, where the reduced cofinality of script N signS κ is the least cardinality of any family script F sign of nonstationary subsets of κ such that every nonstationary subset of κ can be covered by less than κ many members of F. For this we investigate connections of the various cofinalities of script N signS κ with other cardinal characteristics of κκ and we also give a property of forcing notions (called manageability) which is preserved in <κ-support iterations and which implies that the forcing notion preserves non-meagerness of subsets of κκ (and does not collapse cardinals nor changes cofinalities).
KW - Cofinality
KW - Nonstationary ideal
UR - http://www.scopus.com/inward/record.url?scp=29044433272&partnerID=8YFLogxK
U2 - 10.1090/S0002-9947-05-04007-9
DO - 10.1090/S0002-9947-05-04007-9
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:29044433272
SN - 0002-9947
VL - 357
SP - 4813
EP - 4837
JO - Transactions of the American Mathematical Society
JF - Transactions of the American Mathematical Society
IS - 12
ER -