English

Donder's Version of Revised Countable Support

Logic 2009-09-25 v1

Abstract

Shelah introduced the revised countable support (RCS) iteration to iterate semiproperness. This was an endpoint in the search for an iteration of a weak condition, still implying that aleph1 is preserved. Dieter Donder found a better manageable approach to this iteration, which is presented here.

Cite

@article{arxiv.math/9207204,
  title  = {Donder's Version of Revised Countable Support},
  author = {Ulrich Fuchs},
  journal= {arXiv preprint arXiv:math/9207204},
  year   = {2009}
}