Insiemi e classi
Facchini, Alberto ; Lolli, Gabriele
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 2 (2009), p. 415-424 / Harvested from Biblioteca Digitale Italiana di Matematica

In questo articolo cerchiamo di tenere vivo il problema dei fondamenti della matematica, così importante per chi, in teoria delle categorie, si trova a doversi fronteggiare quotidianamente con classi oltre che con insiemi. In particolare, l'assioma della scelta per le classi sembra irrinunciabile. Ne approfittiamo per fare un excursus elementare di alcune delle soluzioni proposte generalmente più accettate dai matematici.

In this paper, we try to revive interest in the problem of the foundations of mathematics, which is so important for those working in category theory who must deal on a daily basis with classes as well as with sets. In particular, the axiom of choice for classes seems indispensable. We take advantage of this to give an elementary excursus of some of the proposed solutions that are most generally accepted by mathematicians.

Publié le : 2009-12-01
@article{RIUMI_2009_1_2_3_415_0,
     author = {Alberto Facchini and Gabriele Lolli},
     title = {Insiemi e classi},
     journal = {La Matematica nella Societ\`a e nella Cultura. Rivista dell'Unione Matematica Italiana},
     volume = {2},
     year = {2009},
     pages = {415-424},
     zbl = {1194.03009},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RIUMI_2009_1_2_3_415_0}
}
Facchini, Alberto; Lolli, Gabriele. Insiemi e classi. La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana, Tome 2 (2009) pp. 415-424. http://gdmltest.u-ga.fr/item/RIUMI_2009_1_2_3_415_0/

[1] Arrigoni, T., What is meant by V, Mentis, Paderborn, 2007. | MR 2568116 | Zbl 1153.03002

[2] Bergman, G. M., An Invitation to General Algebra and Universal Constructions, Henry Helson, Berkeley, Ca, 1998. Disponibile anche in http://math.berkeley.edu/gbergman/245/ | MR 1650275

[3] Facchini, A., Injective modules, spectral categories, and applications, in "Non-commutative rings, group rings, diagram algebras and their applications", Editori Jain S. K., Parvathi S., Contemp. Math.456, Amer. Math. Soc.2008, pp. 1-18. | MR 2416140

[4] Joyal, A. - Moerdijk, I., Algebraic Set Theory, Cambridge Univ. Press, London Math. Soc. Lecture Notes Series 200, Cambridge 1995. | MR 1368403 | Zbl 0847.03025

[5] Kelley, J. L., General Topology, D. Van Nostrand Company, Inc., Toronto-New York- London, 1955. | MR 70144

[6] Kelly, G. M., On the radical of a category, J. Australian Math. Soc.4 (1964), 299-307. | MR 170922 | Zbl 0124.01501

[7] Gödel, K., Collected Works, vol. IV, Clarendon Press, Oxford, 2003. | MR 831941

[8] Lolli, G., Categorie, universi e principi di riflessione, Boringhieri, Torino, 1977. | MR 486039

[9] Maclane, S., Locally small categories and the Foundations of set theory, in “Infinitistic Methods", Pergamon Press, Oxford, 1961. | MR 191941 | Zbl 0116.00902

[10] Maclane, S., Categories for the Working Mathematician, Springer, Berlin, 1a ed. 1971. | MR 354798 | Zbl 0705.18001

[11] Rubin, H. - Rubin, J., Equivalents of the Axiom of Choice, North-Holland, Amsterdam, 1963; 2a edizione Equivalents of the Axiom of Choice II, Elsevier, Amsterdam, 1985. | MR 798475 | Zbl 0129.00601