1. Handbook of Mathematical Logic,1977
2. Metrization of topological spaces;BING;Canad. J. Math.,1951
3. Extending Lebesgue measure;CARLSON;Pacific J. Math.,1981
4. DEVLIN, K.J. [1977] Constructibility, in: Barwise [1977], 453–489.
5. Core models;DODD;J. Symbolic Logic,1983