NNR Revisited
Logic
2022-05-19 v3
Abstract
We show if we use countable support iteration of forcing notions not adding reals that satisfy additional conditions, then the limit forcing does not add reals. As a result we prove that we can amalgamate two earlier methods and prove the consistency with ZFC + GCH of two statements gotten separately earlier: Souslin hypothesis and non-club guessing. We also answer a question of Justin Moore by proving the consistency of one further case of "strong failure of club guessing" with GCH.
Keywords
Cite
@article{arxiv.math/0003115,
title = {NNR Revisited},
author = {Mohammad Golshani and Saharon Shelah},
journal= {arXiv preprint arXiv:math/0003115},
year = {2022}
}
Comments
The part on "measuring principle" will appear in a separate paper