A COMBINATORIAL FORCING FOR CODING THE UNIVERSE BY A REAL WHEN THERE ARE NO SHARPS

Citation
S. Shelah et Lj. Stanley, A COMBINATORIAL FORCING FOR CODING THE UNIVERSE BY A REAL WHEN THERE ARE NO SHARPS, The Journal of symbolic logic, 60(1), 1995, pp. 1-35
Citations number
18
Categorie Soggetti
Mathematics, Pure",Mathematics
ISSN journal
00224812
Volume
60
Issue
1
Year of publication
1995
Pages
1 - 35
Database
ISI
SICI code
0022-4812(1995)60:1<1:ACFFCT>2.0.ZU;2-E
Abstract
Assuming O# does not exist, we present a combinatorial approach to Jen sen's method of coding by a real. The forcing uses combinatorial conse quences of fine structure (including the Covering Lemma, in various gu ises), but makes no direct appeal to fine structure itself.