Skip to main content
edited tags
Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40
Source Link
dragoon
  • 791
  • 7
  • 8

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?