with X subseteq lambda and V models |X|< kappa, there is Y in
W such that X subseteq Y prec M and V models |Y|< kappa . We prove that if kappa is V-regular, kappa^+_V= kappa^+_W, and we have both kappa-covering and kappa^+-covering between W and V, then strong kappa-covering holds. Next we show that we can drop the assumption of kappa^+-covering at the expense of assuming some more absoluteness of cardinals and cofinalities between W and V, and that we can drop the assumption that kappa^+_W = kappa^+_V and weaken the kappa^+-covering assumption at the expense of assuming some structural facts about W (the existence of certain square sequences).
Back to the list of publications