| |
Table des matières de ce fascicule | Article précédent
Forti, Marco; Honsell, Furio
Set theory with free construction principles. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Sér. 4, 10 no. 3 (1983), p. 493-522
Texte intégral djvu | pdf | Analyses MR 739920 | Zbl 0541.03032 | 1 citation dans Numdam
URL stable: http://www.numdam.org/item?id=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.
Article | MR 99298 | Zbl 0089.24403
|
|
Copyright Cellule MathDoc 2013 | Crédit | Plan du site
|
