Mathematics – Logic
Scientific paper
2002-10-10
Mathematics
Logic
Scientific paper
We investigate the problem of when $\leq\lambda$--support iterations of $<\lambda$--complete notions of forcing preserve $\lambda^+$. We isolate a property -- {\em properness over diamonds} -- that implies $\lambda^+$ is preserved and show that this property is preserved by $\lambda$--support iterations. We close with an application of our technology by presenting a consistency result on uniformizing colorings of ladder systems on $\{\delta<\lambda^+:\cf(\delta)=\lambda\}$ that complements a theorem of Shelah.
No associations
LandOfFree
On iterated forcing at successors of regular cardinals 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 iterated forcing at successors of regular cardinals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On iterated forcing at successors of regular cardinals will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-542766