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

Shelah, Saharon; Stanley, Lee J.

J. Symbolic Logic, Tome 60 (1995) no. 1, p. 1-35 / Harvested from Project Euclid

Résumé

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.

Publié le : 1995-03-14
Classification:

@article{1183744676,
     author = {Shelah, Saharon and Stanley, Lee J.},
     title = {A Combinatorial Forcing for Coding the Universe by a Real when there are no Sharps},
     journal = {J. Symbolic Logic},
     volume = {60},
     number = {1},
     year = {1995},
     pages = { 1-35},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744676}
}

Shelah, Saharon; Stanley, Lee J. A Combinatorial Forcing for Coding the Universe by a Real when there are no Sharps. J. Symbolic Logic, Tome 60 (1995) no. 1, pp.  1-35. http://gdmltest.u-ga.fr/item/1183744676/