A combinatorial forcing for coding the universe by a real when there are no sharps
Logic
2009-09-25 v1
Abstract
Assuming 0# does not exist, we present a combinatorial approach to Jensen's method of coding by a real. The forcing uses combinatorial consequences of fine structure (including the Covering Lemma, in various guises), but makes no direct appeal to fine structure itself.
Keywords
Cite
@article{arxiv.math/9311204,
title = {A combinatorial forcing for coding the universe by a real when there are no sharps},
author = {Saharon Shelah and Lee Stanley},
journal= {arXiv preprint arXiv:math/9311204},
year = {2009}
}