English

Morasses and finite support iterations

Logic 2008-10-30 v1

Abstract

We introduce a method of constructing a forcing along a simplified (κ,1)(\kappa,1)-morass such that the forcing satisfies the κ\kappa-chain condition. Alternatively, this may be seen as a method to thin out a larger forcing to get a chain condition. As an application, we construct a ccc forcing that adds an ω2\omega_2-Suslin tree. Related methods are Shelah's historic forcing and Todorcevic's ρ\rho-functions.

Keywords

Cite

@article{arxiv.0810.5217,
  title  = {Morasses and finite support iterations},
  author = {Bernhard Irrgang},
  journal= {arXiv preprint arXiv:0810.5217},
  year   = {2008}
}

Comments

accepted for the Proceedings of the AMS

R2 v1 2026-06-21T11:36:04.227Z