Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
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?