1. [2] Baratella, S., and R. Ferro, "A theory of sets with the negation of the axiom of infinity", Mathematical Logic Quarterly, vol. 39 (1993), pp. 338--52.
2. [3] Barwise, J., Admissible Sets and Structures: An Approach to Definability Theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1975.
3. [4] Chang, C. C., and H. J. Keisler, Model Theory, 2d edition, vol. 73 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, 1977.
4. [5] Diaconescu, R., and L. A. S. Kirby, "Models of arithmetic and categories with finiteness conditions", Annals of Pure and Applied Logic, vol. 35 (1987), pp. 123--48.
5. [6] Drake, F. R., Set Theory: An Introduction to Large Cardinals, vol. 76 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, 1974.