A note on iterating strongly $(<\lambda)$-closed stationary $\lambda^+$-cc forcing
Logic
2026-04-14 v1
Abstract
We give an exposition of an iteration theorem for iterating -closed stationary -cc forcing with supports of size and preserving these two properties. We discuss the relation of this theorem with other iteration theorems and forcing axioms that have appeared in the literature, notably the one from \cite{Sh80}.
Cite
@article{arxiv.2604.10713,
title = {A note on iterating strongly $(<\lambda)$-closed stationary $\lambda^+$-cc forcing},
author = {Mirna Džamonja},
journal= {arXiv preprint arXiv:2604.10713},
year = {2026}
}