1. Between strong and superstrong;Baldwin;J. Symbolic Logic,1986
2. The independence of the continuum hypothesis, I;Cohen,1963
3. The independence of the continuum hypothesis, II;Cohen,1964
4. Constructibility;Devlin,1984
5. The core model;Dodd;London Math. Soc. Lecture Note Series,1984