Switch to: References

Add citations

You must login to add citations.
  1. The transzendenz of mathematical 'experience'.William Boos - 1998 - Synthese 114 (1):49-98.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A simpler proof of Jensen's coding theorem.Sy D. Friedman - 1994 - Annals of Pure and Applied Logic 70 (1):1-16.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation