1. [2] Camerlo, R., "Assiomi di finitezza su frammenti della teoria intuizionistica degli insiemi", B.Sc. dissertation, University of Turin, Turin, (1995).
2. [5] Previale, F., "Induction and foundation in the theory of hereditarily finite sets", Archive for Mathematical Logic, vol. 33 (1994), pp. 213--41.
3. [1] Aczel, P., and M. Rathjen, "Notes on constructive set theory", Reports Institut Mittag-Leffler, no. 40 (2000/2001).
4. [3] Givant, S., and A. Tarski, "Peano arithmetic and the Zermelo-like theory of sets with finite ranks", Abstracts of the American Mathematical Society, no. 77T-E51 (1977).
5. [4] Previale, F., "Absolute set theory", unpublished manuscript, 1997.