Forcing is an important method to construct new models of set theory. With this method, these models (the universes) have been relativized, and we can study the overall structure of models (the multiverse). In this talk, I will explain the basics of forcing and introduce some properties of the set-theoretic multiverse.

====================================================
In Student Colloquium, we do not fix the end time. Though a nominal time is shown above, we mean neither that it will be so, nor that it was so.