The last forcing standing with diamonds
Logic
2017-05-16 v2
Abstract
This article continues Roslanowski and Shelah math.LO/9906024 and 1105.6049 We introduce here yet another property of (<lambda)-strategically complete forcing notions which implies that their lambda-support iterations do not collapse lambda^+.
Keywords
Cite
@article{arxiv.1406.4217,
title = {The last forcing standing with diamonds},
author = {Andrzej Roslanowski and Saharon Shelah},
journal= {arXiv preprint arXiv:1406.4217},
year = {2017}
}