## Journal of Symbolic Logic

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

#### 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

https://projecteuclid.org/euclid.jsl/1183744676

Mathematical Reviews number (MathSciNet)
MR1324499

Zentralblatt MATH identifier
0819.03039

JSTOR