Set theory with free construction principles

 Access to full text

 Full (PDF)

1. [1] M. Boffa, Sur la théorie des ensembles sans axiome de fondement, Bull. Soc. Math. Belg., 21 (1969), pp. 16-56. Zbl0193.30601MR260588
2. [2] M. Boffa, Forcing et négation de l'axiome de fondement, Mem. Acad. Sc. Belg., Tome XL, fasc. 7 (1972). Zbl0286.02068
3. [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. Zbl0341.02054MR424566
4. [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). Zbl0523.03040
5. [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. Zbl0514.03033
6. [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. Zbl0061.00902
7. [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. Zbl0171.26402MR177897
8. [8] F. Honsell, Modelli della teoria degli insiemi, principi di regolarità e di libera costruzione, Pisa, tesi di laurea (1981). 
9. [9] A. Levy, A hierarchy of formulas in set theory, Mem. Amer. Math. Soc., 57 (1965). Zbl0202.30502MR189983
10. [10] L. Rieger, A contribution to Gödel's axiomatic set thery, I, Czech. Math. J., 7 (1957), pp. 323-357. Zbl0089.24403MR99298

1. Furio Honsell, Marina Lenisa, Rekha Redamalla, Equivalences and Congruences on Infinite Conway Games
2. V. M. Tortorelli, A characterization of internal sets
3. Vincenzo M. Tortorelli, $\mathrm{\Gamma }$ Limiti e analisi non standard
4. Vincenzo M. Tortorelli, $\mathrm{\Gamma }$ Limiti e analisi non standard
5. Furio Honsell, Marina Lenisa, Rekha Redamalla, Equivalences and Congruences on Infinite Conway Games
6. Massimo Clavelli, Universalità, Super-universalità, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari
7. Ennio De Giorgi, Marco Forti, Una teoria-quadro per i fondamenti della matematica
8. Ennio De Giorgi, Marco Forti, Una teoria-quadro per i fondamenti della matematica
9. Massimo Clavelli, Universalità, Super-universalità, pseudo-modelli, relazioni di pseudo-universo e tecniche elementari
10. Massimo Clavelli, Principi di libera costruzione, relativi alla teoria quadro dei fondamenti della matematica di De Giorgi-Forti