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. 
@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},
     pages = {493--522},
     publisher = {Scuola normale superiore},
     volume = {Ser. 4, 10},
     number = {3},
     year = {1983},
     mrnumber = {739920},
     zbl = {0541.03032},
     language = {en},
     url = {http://archive.numdam.org/item/ASNSP_1983_4_10_3_493_0/}
}
TY  - JOUR
AU  - Forti, Marco
AU  - Honsell, Furio
TI  - Set theory with free construction principles
JO  - Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
PY  - 1983
SP  - 493
EP  - 522
VL  - 10
IS  - 3
PB  - Scuola normale superiore
UR  - http://archive.numdam.org/item/ASNSP_1983_4_10_3_493_0/
LA  - en
ID  - ASNSP_1983_4_10_3_493_0
ER  - 
%0 Journal Article
%A Forti, Marco
%A Honsell, Furio
%T Set theory with free construction principles
%J Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
%D 1983
%P 493-522
%V 10
%N 3
%I Scuola normale superiore
%U http://archive.numdam.org/item/ASNSP_1983_4_10_3_493_0/
%G en
%F 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://archive.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 | Zbl

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

[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 | Zbl

[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

[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

[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

[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 | Zbl

[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 | Zbl

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