Mathematics – Logic
Scientific paper
1993-11-15
Proc. Amer. Math. Soc. 123 (1995), 1573--1581
Mathematics
Logic
Scientific paper
Let l^0 and m^0 be the ideals associated with Laver and Miller forcing,
respectively. We show that add (l^0) < cov(l^0) and add (m^0) < cov(m^0) are
consistent. We also show that both Laver and Miller forcing collapse the
continuum to a cardinal <= h .
Goldstern Martin
Repicky Miroslav
Shelah Saharon
Spinas Otmar
No associations
LandOfFree
On tree ideals 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 On tree ideals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On tree ideals will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-498671