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.
@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] | MR 2568116 | Zbl 1153.03002
, What is meant by V, Mentis, Paderborn, 2007.[2] http://math.berkeley.edu/gbergman/245/ | MR 1650275
, An Invitation to General Algebra and Universal Constructions, Henry Helson, Berkeley, Ca, 1998. Disponibile anche in[3] Injective modules, spectral categories, and applications, in "Non-commutative rings, group rings, diagram algebras and their applications", Editori , , Contemp. Math.456, Amer. Math. Soc.2008, pp. 1-18. | MR 2416140
,[4] 200, Cambridge 1995. | MR 1368403 | Zbl 0847.03025
- , Algebraic Set Theory, Cambridge Univ. Press, London Math. Soc. Lecture Notes Series[5] | MR 70144
, General Topology, D. Van Nostrand Company, Inc., Toronto-New York- London, 1955.[6] On the radical of a category, J. Australian Math. Soc.4 (1964), 299-307. | MR 170922 | Zbl 0124.01501
,[7] IV, Clarendon Press, Oxford, 2003. | MR 831941
, Collected Works, vol.[8] | MR 486039
, Categorie, universi e principi di riflessione, Boringhieri, Torino, 1977.[9] Locally small categories and the Foundations of set theory, in “Infinitistic Methods", Pergamon Press, Oxford, 1961. | MR 191941 | Zbl 0116.00902
, , Categories for the Working Mathematician, Springer, Berlin, 1a ed. 1971. - , Equivalents of the Axiom of Choice, North-Holland, Amsterdam, 1963; 2a edizione Equivalents of the Axiom of Choice II, Elsevier, Amsterdam, 1985.