1. Coding the Universe;Beller,1982
2. A very absolute Π12 singleton;David;Ann. Pure and Appl. Logic,1982
3. Aspects of Constructibility;Devlin,1973
4. An immune partition of the ordinals;Friedman,1986
5. The Π12 singleton conjecture;Friedman;J. Amer. Math. Soc.,1990