1. Coding the Universe;Beller,1981
2. Some applications of Jensen's coding theorem;David;Ann. of Math. Logic,1982
3. A very absolute π12 singleton;David;Ann. of Math. Logic,1982
4. S. Friedman, Strong coding, to appear.
5. Analytic determinacy and 0#;Harrington;J. Symbolic Logic,1978