Article contents
A combinatorial forcing for coding the universe by a real when there are no sharps
Published online by Cambridge University Press: 12 March 2014
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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1995
References
REFERENCES
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20151027022738828-0992:S0022481200018879_inline2.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20151027022738828-0992:S0022481200018879_inline2.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20151027022738828-0992:S0022481200018879_inline2.gif?pub-status=live)
- 1
- Cited by