All Questions
Tagged with forcing-iterations set-theory
1 question with no upvoted or accepted answers
3
votes
0
answers
149
views
Cohen reals at limit steps in a finite support iteration
Without success, I have been trying to find who was the first to prove the folklore result that any finite support iteration of non-trivial posets adds Cohen reals at limits steps. Does anybody know?
- 791