@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, Serie 4, Volume 10 (1983) no. 3, pp. 493-522. http://archive.numdam.org/item/ASNSP_1983_4_10_3_493_0/
[1] Sur la théorie des ensembles sans axiome de fondement, Bull. Soc. Math. Belg., 21 (1969), pp. 16-56. | MR | Zbl
,[2] Forcing et négation de l'axiome de fondement, Mem. Acad. Sc. Belg., Tome XL, fasc. 7 (1972). | Zbl
,[3] 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] Comparison of the axioms of global and local universality, Zeitschr. für Math. Log. u. Grund. der Math. (1982, to appear). | Zbl
- ,[5] Formalizzazioni del principio di libera costruzione, in Atti degli incontri di logica matematica (C. Bernardi, cur.), Siena 1982, pp. 209-213. | Zbl
- ,[6] The consistency of the axiom of choice and of the generalized continumu hypothesis, Ann. of Math. Stud., vol. 3, Princeton, 1940. | Zbl
,[7] 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] Modelli della teoria degli insiemi, principi di regolarità e di libera costruzione, Pisa, tesi di laurea (1981).
,[9] A hierarchy of formulas in set theory, Mem. Amer. Math. Soc., 57 (1965). | MR | Zbl
,[10] A contribution to Gödel's axiomatic set thery, I, Czech. Math. J., 7 (1957), pp. 323-357. | MR | Zbl
,