Journal of Symbolic Logic

A Combinatorial Forcing for Coding the Universe by a Real when there are no Sharps

Saharon Shelah and Lee J. Stanley

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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


Export citation