Sh:1110

• Shelah, S., & Spinas, O. (2023). Different cofinalities of tree ideals. Ann. Pure Appl. Logic, 174(8), Paper No. 103290, 18. DOI: 10.1016/j.apal.2023.103290 MR: 4597956
• Abstract:
  We introduce a general framework of generalized tree forcings, GTF for short, that includes the classical tree forcings like Sacks, Silver, Laver or Miller forcing. Using this concept we study the cofinality of the ideal \mathcal{I}(\mathbf {Q}) associated with a GTF \mathbf {Q}. We show that if for two GTF’s \mathbf{Q_0} and \mathbf{Q_1} the consistency of add(\mathcal{I}(\mathbf{Q_0})) < add(\mathcal{I}(\mathbf{Q_1})) holds, then we can obtain the consistency of cof(\mathcal{I}(\mathbf{Q_1})) < cof(\mathcal{I} (\mathbf{Q_0})). We also show that cof(\mathcal{I}(\mathbf{Q})) can consistently be any cardinal of cofinality larger than the continuum.
• Version 2023-01-12 (28p) published version (18p)

@article{Sh:1110,
 author = {Shelah, Saharon and Spinas, Otmar},
 title = {{Different cofinalities of tree ideals}},
 journal = {Ann. Pure Appl. Logic},
 fjournal = {Annals of Pure and Applied Logic},
 volume = {174},
 number = {8},
 year = {2023},
 pages = {Paper No. 103290, 18},
 issn = {0168-0072},
 mrnumber = {4597956},
 mrclass = {03E04 (03E17 03E35)},
 doi = {10.1016/j.apal.2023.103290}
}