1. [2] Avigad, J., "Saturated models of universal theories", Annals of Pure and Applied Logic, vol. 118 (2002), pp. 219--34.
2. [3] Ferreira, F., "A simple proof of Parsons' theorem", Notre Dame Journal of Formal Logic, vol. 46 (2005), pp. 83--91.
3. [4] Forster, T., Logic, Induction and Sets, vol. 56 of London Mathematical Society Student Texts, Cambridge University Press, Cambridge, 2003.
4. [5] Garcia, N., "Operating on the universe", Archive for Mathematical Logic, vol. 27 (1988), pp. 61--68.
5. [6] Givant, S., and A. Tarski, "Peano arithmetic and the Zermelo-like theory of sets with finite ranks", Notices of the American Mathematical Society, vol. 77T-E51 (1977), pp. A--437.