The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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.
Download Results (CSV)