Set theory with free construction principles
Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Série 4, Tome 10 (1983) no. 3, p. 493-522
@article{ASNSP_1983_4_10_3_493_0,
     author = {Forti, Marco and Honsell, Furio},
     title = {Set theory with free construction principles},
     journal = {Annali della Scuola Normale Superiore di Pisa - Classe di Scienze},
     publisher = {Scuola normale superiore},
     volume = {Ser. 4, 10},
     number = {3},
     year = {1983},
     pages = {493-522},
     zbl = {0541.03032},
     mrnumber = {739920},
     language = {en},
     url = {http://http://www.numdam.org/item/ASNSP_1983_4_10_3_493_0}
}
Forti, Marco; Honsell, Furio. Set theory with free construction principles. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Série 4, Tome 10 (1983) no. 3, pp. 493-522. http://www.numdam.org/item/ASNSP_1983_4_10_3_493_0/

[1] M. Boffa, Sur la théorie des ensembles sans axiome de fondement, Bull. Soc. Math. Belg., 21 (1969), pp. 16-56. | MR 260588 | Zbl 0193.30601

[2] M. Boffa, Forcing et négation de l'axiome de fondement, Mem. Acad. Sc. Belg., Tome XL, fasc. 7 (1972). | Zbl 0286.02068

[3] U. Felgner, Choice functions on sets and classes, in Sets and classes; on the work by Paul Bernays (G. H. Müller, ed.), New York - Amsterdam, 1976, pp. 217-255. | MR 424566 | Zbl 0341.02054

[4] M. Forti - F. Honsell, Comparison of the axioms of global and local universality, Zeitschr. für Math. Log. u. Grund. der Math. (1982, to appear). | Zbl 0523.03040

[5] M. Forti - F. Honsell, Formalizzazioni del principio di libera costruzione, in Atti degli incontri di logica matematica (C. Bernardi, cur.), Siena 1982, pp. 209-213. | Zbl 0514.03033

[6] K. Gödel, The consistency of the axiom of choice and of the generalized continumu hypothesis, Ann. of Math. Stud., vol. 3, Princeton, 1940. | Zbl 0061.00902

[7] P. Hájek, Modelle der Mengenlehre in denen Mengen gegebener Gestalt existieren, Zeitschr. f. Math. Log. u. Grund. der Math., 11 (1965), pp. 103-115. | MR 177897 | Zbl 0171.26402

[8] F. Honsell, Modelli della teoria degli insiemi, principi di regolarità e di libera costruzione, Pisa, tesi di laurea (1981).

[9] A. Levy, A hierarchy of formulas in set theory, Mem. Amer. Math. Soc., 57 (1965). | MR 189983 | Zbl 0202.30502

[10] L. Rieger, A contribution to Gödel's axiomatic set thery, I, Czech. Math. J., 7 (1957), pp. 323-357. | MR 99298 | Zbl 0089.24403