1. Coding the Universe;Beller,1981
2. A Π21 singleton with no sharp in a generic extension of L#;David;Israel J. Math.,1978
3. Un resultat de consitense relative au sujet de la conjecture de Solovay;David,1979
4. Some applications of Jensen's coding theorem;David;Ann. Math. Logic,1982
5. Definable sets of minimal degree;Jensen,1970