1. Generic embeddings and the failure of box;Burke;Proceedings of American Mathematical Society,1995
2. Covering theorems for the core model, and an application to stationary set reflection;Cox;Annals of Pure and Applied Logic,2009
3. Constructibility;Devlin,1984
4. The fine structure of the constructible hierarchy;Jensen;Annals of Mathematical Logic,1972
5. R.B. Jensen, More on □κ below 0¶ in K, handwritten notes, Oxford, 1994