1. Model Theory;Chang,1973
2. P. Corazza, Forcing over the language {∈,j}, in preparation
3. Consistency of V=HOD with the wholeness axiom;Corazza;Archive for Mathematical Logic,2000
4. The wholeness axiom and Laver sequences;Corazza;Annals of Pure and Applied Logic,2000
5. Constructibility;Devlin,1984