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
Saharon Shelah and Lee J. Stanley
Abstract
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.
Article information
Source
J. Symbolic Logic, Volume 60, Issue 1 (1995), 1-35.
Dates
First available in Project Euclid: 6 July 2007
Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183744676
Mathematical Reviews number (MathSciNet)
MR1324499
Zentralblatt MATH identifier
0819.03039
JSTOR
links.jstor.org
Citation
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
