Forcing a Multiverse: Cardinalities, Ordinals, and the Continuum Problem

This paper explores the profound implications of Paul Cohen's forcing technique on our understanding of set theory, particularly concerning cardinalities, ordinals, and the Continuum Problem. Forcing, a powerful method for constructing extensions of models of Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC), has demonstrably shown the independence of fundamental hypotheses, most notably the Continuum Hypothesis (CH). We delve into how forcing allows for the creation of multiple, consistent models of ZFC where cardinal arithmetic behaves differently, challenging the notion of a unique, absolute mathematical universe. By examining specific forcing constructions, we illustrate how $2^{aleph_0}$ can be forced to take on various cardinal values, leading naturally to a multiversist perspective on set theory. This perspective posits that there is no single "true" value for the continuum, but rather a collection of equally valid set-theoretic universes. The paper provides a rigorous overview of the historical context, the technical details of forcing, and the philosophical ramifications of these independence results, advocating for a pluralistic understanding of the mathematical landscape.