A combinatorial forcing for coding the universe by a real when there are no sharps

by Shelah and Stanley. [ShSt:340]
J Symbolic Logic, 1995
Assuming 0^sharp 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.


Back to the list of publications