Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 60, Issue 1 (1995), 1-35.
A Combinatorial Forcing for Coding the Universe by a Real when there are no Sharps
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.
J. Symbolic Logic, Volume 60, Issue 1 (1995), 1-35.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Shelah, Saharon; Stanley, Lee J. A Combinatorial Forcing for Coding the Universe by a Real when there are no Sharps. J. Symbolic Logic 60 (1995), no. 1, 1--35. https://projecteuclid.org/euclid.jsl/1183744676