Strong covering without squares

Details Strong covering without squares Strong covering without squares

1996-04-15

arxiv.org/abs/math/9604243v1

Mathematics

Logic

Scientific paper

We continue [Sh:b, Ch XIII] and [Sh:410]. Let W be an inner model of ZFC. Let kappa be a cardinal in V. We say that kappa-covering holds between V and W iff for all X in V with X subseteq ON and V models |X|< kappa, there exists Y in W such that X subseteq Y subseteq ON and V models |Y|< kappa. Strong kappa-covering holds between V and W iff for every structure M in V for some countable first-order language whose underlying set is some ordinal lambda, and every X in V 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).

Affiliated with

Also associated with

No associations

Rating

Strong covering without squares does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Strong covering without squares, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Strong covering without squares will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-216053