Non-reflection of the bad set for {check I}_theta[lambda] and pcf

Saharon Shelah
DOI: https://doi.org/10.48550/arXiv.1206.2048
2012-06-24
Abstract:We reconsider here the following related pcf questions and make some advances: (Q1) concerning the ideal {check I}_kappa [lambda] how much reflection do we have for the bad set S^{bd}_{lambda, kappa} subseteq {delta < lambda : cf(delta)= kappa} assuming it is well defined? (Q2) for an ideal J on kappa how large are S^{bd}_J[f],S^{ch}_J[f] for f=< f_alpha : alpha<lambda > which is <_J-increasing and cofinal in (prod limits_{i< kappa} lambda_i,<_J) ? (Q3) are there somewhat free black boxes?
Logic
What problem does this paper attempt to address?