A combinatorial forcing for coding the universe by a real when there are no sharps
Abstract
Assuming 0# 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.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- November 1993
- DOI:
- arXiv:
- arXiv:math/9311204
- Bibcode:
- 1993math.....11204S
- Keywords:
-
- Mathematics - Logic