S. Shelah et Lj. Stanley, A COMBINATORIAL FORCING FOR CODING THE UNIVERSE BY A REAL WHEN THERE ARE NO SHARPS, The Journal of symbolic logic, 60(1), 1995, pp. 1-35
Assuming O# does not exist, we present a combinatorial approach to Jen
sen's method of coding by a real. The forcing uses combinatorial conse
quences of fine structure (including the Covering Lemma, in various gu
ises), but makes no direct appeal to fine structure itself.