1. Bell, J.L.: Boolean valued models and independence proofs in set theory, 2nd edn. New York: Oxford University Press 1985
2. Blass, A.: On certain types and models for arithmetic. J. Symb. Logic39, 151–162 (1974)
3. Blass, A.: End extensions, conservative extensions, and the Rudin-Frolik ordering. Trans. Am. Math. Soc.225, 325–340 (1977)
4. Blass, A.: Conservative extensions of models of arithmetic. Arch. Math. Logik20, 85–94 (1980)
5. Enayat, A.: Topics in the model theory of set theory. Doctoral dissertation, University of Wisconsin, Madison, 1984