Questo articolo offre una panoramica della ricerca sui fondamenti della teoria degli insiemi,discutendo due programmi che mirano a superare i risultati di indecidibilità, tra i quali l'indipendenza dell'ipotesi del continuo. I due programmi sono basati, rispettivamente, sugli Assiomi di Forcing e su una congettura di Woodin chiamata V = Ultimate-L. Nel presentare queste ricerche introdurremo brevemente le principali nozioni di teoria degli insiemi.
Referenze Bibliografiche
[2] N. BARTON, C. TERNULLO, and G. VENTURI. On forms of justification in set theory. Preprint, 2018.
[4]
P. BERNAYS.
Sur le platonism dans les mathématiques.
L'enseignement mathématique, (
34):52-69,
1935. English transl.:
On mathematical platonism, in
P. Benacerraf and
H. Putnam, editors,
Philosophy of mathematics: selected readings,
Cambridge University Press, pp. 258-271,
1983. |
MR 742474[5] G. BOOLOS. The iterative conception of set. Journal of Philosophy, 68(8):215-231, 1971.
[6]
F. CALDERONI and
S. THOMAS.
The bi-embeddability relation for countable abelian groups.
Transaction of the American Mathematical Society, To appear. |
fulltext (doi) |
MR 3894051 |
Zbl 06999078[7] G. CANTOR. Grundlagen einer allgemeinen Mannigfaltigkeitslehre. Ein mathematich-philosophischer Versuch in der Lehre des Unendichen. Teubner, 1883. English transl.: Foundations of a general theory of manifolds: a mathematico-philosophical investigation into the theory of the infinite, in W. Ewald, editor, From Kant to Hilbert: A Source Book in the Foundations of Mathematics, vol. II, Clarendon Press, Oxford, pp. 878-919, 2008.
[8]
G. CANTOR.
Beiträge zur Begründung der transfiniten Mengenlehre.
Mathematische Annalen,
46(4):481-512,
1895. Italian transl.: in
G. Cantor, La Formazione della Teoria degli Insiemi (Scritti 1872-1899),
G. Rigamonti, editor,
Mimesis,
2012. |
fulltext EuDML |
fulltext (doi) |
MR 1510964[9]
J. P. COHEN.
The independence of the continuum hypothesis.
Proceedings of the National Academy of Sciences of the United States of America,
50(6):1143-1148,
1963. |
fulltext (doi) |
MR 157890 |
Zbl 0192.04401[11]
H. G. DALES and
W. H. WOODIN.
An Introduction to Independence for Analysts, volume
115 of
London Mathematical Society Lecture Note Series.
Cambridge University Press, Cambridge,
1987. |
fulltext (doi) |
MR 942216 |
Zbl 0629.03030[15]
Q. FENG,
M. MAGIDOR, and
H. WOODIN.
Universally Baire sets of reals. In
H. Judah,
W. Just, and
H. Woodin, editors,
Set Theory of the Continuum, pages 203-242.
Springer,
1992. |
fulltext (doi) |
MR 1233821 |
Zbl 0781.03034[16]
J. FERREIRÓS.
Labyrinth of Thought. A History of Set Theory and its Role in Modern Mathematics.
Birkhäuser,
1999. |
fulltext (doi) |
MR 1726552[17]
J. FERREIRÓS.
On arbitrary sets and ZFC.
Bullettin of Symbolic logic,
17(3):361-393,
2011. |
fulltext (doi) |
MR 2856078[18] K. FINE and N. TENNANT. A Defence of Arbitrary Objects. Proceedings of the Aristotelian Society, Supplementary Volumes, 57:55-77 + 79-89, 1983.
[19]
M. FOREMAN,
M. MAGIDOR and
S. SHELAH.
Martin's Maximum, saturated ideals and nonregular ultrafilters.
Annals of Mathematics (2),
127(1):1-47,
1988. |
fulltext (doi) |
MR 924672 |
Zbl 0645.03028[20]
D. GALE and
F. STEWART.
Infinite games with perfect information. In
H. W. Kuhn and
A. W. Tucker, editors,
Contributions to the Theory of Games, pages 245-266. Princeton University press,
1953. |
MR 54922 |
Zbl 0050.14305[22] K. GÖDEL. The consistency of the axiom of choice and of the generalized continuum-hypothesis. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 24(12):556-557, 1938.
[23]
K. GÖDEL.
What is Cantor's continuum problem? American Mathematical Monthly, (
54):515-525,
1947; errata,
55, p. 151. Italian trasl.:
Cos'è il problema del continuo di Cantor?, in
E. Ballo and
G. Lolli and
C. Mangione, editors,
Opere. Volume
2, 1938-1974,
Bollati Boringhieri, pp. 180-192,
2002. |
fulltext (doi) |
MR 23780[24]
R. GOLDBLATT.
On the role of the Baire category theorem and dependent choice in the foundation of logic.
The Journal of Symbolic Logic,
50(2):412-422,
1985. |
fulltext (doi) |
MR 793122 |
Zbl 0567.03023[25]
G. GRAY.
Plato's Ghost. The Modernist Trasnformation of Mathematics.
Princeton University Press,
2008. |
MR 2452344 |
Zbl 1166.00005[26] J. D. HAMKINS and D. SEABOLD. Well-founded boolean ultrapowers as large cardinal embeddings. 40 pages, 2012.
[27]
D. HILBERT.
Mathematical problems.
Bulletin of the American Mathematical Society,
37(4):407-436,
2000. Italian translation in:
V. Abrusci (editor),
D. Hilbert, Ricerche sui fondamenti della matematica,
Bibliopolis,
1978, pp. 145-162. |
fulltext (doi) |
MR 1779412 |
Zbl 0979.01028[28]
K. HRBACEK and
T. JECH.
Introduction to set theory, volume
220 of
Monographs and Textbooks in Pure and Applied Mathematics.
Marcel Dekker, Inc., New York, third edition,
1999. |
MR 1697766[29]
R. B. JENSEN.
The fine structure of the constructible hierarchy.
Annals of Pure and Applied Logic,
4:229-308; erratum, ibid.
4 (
1972), 443,
1972. With a section by Jack Silver. |
fulltext (doi) |
MR 309729 |
Zbl 0257.02035[30]
A. KANAMORI.
The Higher Infinite. Large Cardinals in Set Theory from their Beginnings.
Springer-Verlag,
1994. |
MR 1321144 |
Zbl 0813.03034[34]
K. KUNEN.
Set Theory. An Introduction to Independence Proofs.
North-Holland,
1980. |
MR 597342 |
Zbl 0443.03021[42]
J. P. MAYBERRY.
The Foundations of Mathematics in the Theory of Sets.
Cambridge University Press,
2000. |
MR 1826603 |
Zbl 0972.03001[44]
J. T. MOORE.
The Proper Forcing Axiom. In
R. Bhatia, editor,
Proceedings of the International Congress of Mathematicians. Volume
2, pages 1-25.
World Scientific,
2010. |
MR 2827783[45]
J. T. MOORE.
What makes the continuum N2. In
Foundations of Mathematics, volume
690 of
Contemp. Math., pages 259-287.
Amer. Math. Soc., Providence, RI,
2017. |
MR 3656315 |
Zbl 06767151[46]
J. MYCIELSKI and
H. STEINHAUS.
A mathematical axiom contradicting the axiom of choice.
Bulletin de l'Académie Polonaise des Sciences,
10:1-3,
1962. |
MR 140430 |
Zbl 0106.00804[48]
D. SCOTT.
Measurable cardinals and constructible sets.
Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques,
9:521-524,
1961. |
MR 143710 |
Zbl 0154.00702[51] M. A. SHULMAN. Set theory for category theory. arXiv:0810.1279v2, 2008.
[52]
R. SOLOVAY.
A model of set-theory in which every set of reals is Lebesgue measurable.
Annals of Mathematics. Second Series,
92(1):1-56,
1970. |
fulltext (doi) |
MR 265151 |
Zbl 0207.00905[53]
J. STEEL.
What is a Woodin cardinal? Notices of the American Mathematical Society,
54(9):1146-1147,
2007. |
MR 2349534 |
Zbl 1153.03315[54]
S. TODORCÆEVIĆ.
Partition Problems in Topology, volume
84 of
Contemporary Mathematics.
American Mathematical Society, Providence, RI,
1989. |
fulltext (doi) |
MR 980949[55]
A. VACCARO and
M. VIALE.
Generic absoluteness and boolean names for elements of a Polish space.
Boll. Unione Mat. Ital.,
10(3):293-319,
2017. |
fulltext (doi) |
MR 3691801 |
Zbl 06807740[56]
G. VENTURI.
Forcing, multiverse and realism. In
F. Boccuni and
A. Sereni, editors,
Objectivity, Knowledge and Proof. FIlMat Studies in the Philosophy of Mathematics, 211-241.
Springer,
2016. |
MR 3618488[57] G. VENTURI. Genericity and arbitrariness, Logique et Analyse. To appear.
[58] G. VENTURI. On generic arbitrary models of set theory. Preprint, 2017.
[60]
M. VIALE.
Category forcings, MM+++ and generic absoluteness for the theory of strong forcing axioms.
Journal of the American Mathematical Society,
29(3):675-728,
2016. |
fulltext (doi) |
MR 3486170 |
Zbl 1403.03108[62] M. VIALE. Useful axioms. Ifcolog Journal of Logics and their Applications, 4(10):3427-3462, 2017.
[63]
H. WOODIN.
The Continuum Hypothesis. Part I.
Notices of the American Mathematical Society,
48(6):567-576,
2001. |
MR 1834351 |
Zbl 0992.03063[64]
E. ZERMELO.
Untersuchungen über die Grundlagen der Mengenlehre I.
Mathematische Annalen,
65:261-281,
1908. English transl.:
Investigations in the foundations of set theory I, in
J. van Heijenoort, editor,
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931,
Source Books in the History of the Sciences,
Harvard Univ. Press, pp. 199-215,
1967. |
fulltext EuDML |
fulltext (doi) |
MR 1511466 |
Zbl 39.0097.03[65]
E. ZERMELO.
Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre.
Fundamenta Mathematicae,
16:29-47,
1930. English transl.:
On boundary numbers and domains of sets: New investigations in the foundations of set theory, in
W. Ewald, editor,
From Kant to Hilbert: A Source Book in the Foundations of Mathematics, vol.
II,
Clarendon Press, Oxford, pp. 1219-1233,
2008; Italian transl.: in
C. Cellucci, editor,
Il Paradiso di Cantor,
Bibliopolis, pp. 178-195,
1978. |
fulltext EuDML |
MR 270860