New axioms in set theory
Matteo Viale · Institutional Research Information System University of Turin (University of Turin) · 2018
In this article we review the present situation in the foundations of set theory, discussing two programs meant to overcome the undecidability results, such as the independence of the continuum hypothesis; these programs are centered, respectively, on forcing axioms and Woodin's V = Ultimate-L conjecture.While doing so, we briefly introduce the key notions of set theory.