Jensen's remarkable Coding Theorem asserts that the universe can be included in L[R] for some real R, via class forcing. The purpose of this article is to present a simpler proof of Jensen's theorem, obtained by implementing some changes first developed for the theory of Strong Coding. In particular, our proof avoids the split into cases, according to whether or not 0# exists in the ground model
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(94)90067-1
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,899
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Fine Structure of the Constructible Hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Jensen's Σ* Theory and the Combinatorial Content of V = L.Sy D. Friedman - 1994 - Journal of Symbolic Logic 59 (3):1096 - 1104.
Strong Coding.Sy D. Friedman - 1987 - Annals of Pure and Applied Logic 35 (3):1-98.

Add more references

Citations of this work BETA

Coding Without Fine Structure.Sy D. Friedman - 1997 - Journal of Symbolic Logic 62 (3):808-815.

Add more citations

Similar books and articles

Some Applications of Jensen's Coding Theorem.R. David - 1982 - Annals of Mathematical Logic 22 (2):177-196.
A Note on Hjorth's Oscillation Theorem.Julien Melleray - 2010 - Journal of Symbolic Logic 75 (4):1359-1365.
Blunt and Topless End Extensions of Models of Set Theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
Gleason's Theorem has a Constructive Proof.Fred Richman - 2000 - Journal of Philosophical Logic 29 (4):425-431.
Tait's Conservative Extension Theorem Revisited.Ryota Akiyoshi - 2010 - Journal of Symbolic Logic 75 (1):155-167.
A Guide to "Coding the Universe" by Beller, Jensen, Welch.Sy D. Friedman - 1985 - Journal of Symbolic Logic 50 (4):1002-1019.


Added to PP index

Total views
15 ( #643,289 of 2,401,847 )

Recent downloads (6 months)
1 ( #552,092 of 2,401,847 )

How can I increase my downloads?


My notes