Is it possible for someone to give a technical but nevertheless non 'jargonish' description of forcing in say less than 200 words. If that is impossible could someone give a descriptive outline of how we get to forcing. Like with the Poincare conjecture proof you would say, first we had formalization of topology, then we came up with certain results such as Ricci flows, and then further research into that led to the solution of some other problem, even though each of these stages are quite technical in nature. Is such a description possible for forcing? All the descriptions seem to be either short and too technical, or as long as an entire book.

I understand what the continuum hypothesis is. And the diagonal argument. How could forcing be motivated from that point?

  • 2
    $\begingroup$ I found this very useful, going via Boolean algebras: math.uni-hamburg.de/home/khomskii/ST2013/… $\endgroup$ Aug 29, 2016 at 12:36
  • 6
    $\begingroup$ There is no royal way to forcing and your stated background doesn't even contain elementary cardinal arithmetic, but Forcing for Mathematicians by Nik Weaver is comparatively readable and by page 52 you have seen forcing proofs that both the continuum hypothesis and its negation are independent of the ZFC axioms and all the set theoretic background needed. $\endgroup$ Aug 29, 2016 at 13:23
  • 2
    $\begingroup$ "I understand what the continuum hypothesis is. And the diagonal argument. How could forcing be motivated from that point?" It can't. I don't really know a clear motivation for forcing, but in Jing Zhang's answer you can probably draw some inspiration. $\endgroup$
    – user119459
    Aug 29, 2016 at 15:21
  • 4
    $\begingroup$ Set theory, unfortunately, is one of those fields in mathematics where one has to travel very far in order to even get to being able to understand the constructions. $\endgroup$
    – Asaf Karagila
    Aug 29, 2016 at 15:33
  • $\begingroup$ like some frequent 7,803 miles :-) $\endgroup$
    – Jing Zhang
    Aug 29, 2016 at 15:41

4 Answers 4


I don't know how "non jargonish" you want your answer, but I'll try a very short outline and hopefully it will work:

Given a model $M$ (usually a transitive model of ZFC), any poset $(P,<)$ in it is a notion of forcing and its elements forcing conditions. A $G$ in $M$ is said to be generic if it is a filter and any dense set in $P$ that belongs to $M$ has a nonempty intersection with $G$. There's a theorem that states that for a transitive model $M$ of ZFC and a generic set $G\subset P$ there's a transitive model $M[G]$ of ZFC that extends $M$ and, associated with that, we define a forcing relation $\Vdash$ where some element $p\in G$ forces a formula $\varphi$ iff $M[G]\vDash \varphi$, i.e., $(\exists p \in G) p\Vdash \varphi$ iff $\varphi$ is valid in $M[G]$, this will happen for every generic $G$ if $\varphi$ is said to be in the forcing language.

In summary, forcing is a way of extending models to produce new ones where certain formulas can be shown to be valid so, with that, we are able to do (or to complete) independence proofs. This new model is provided by a poset and a generic set, this gives a forcing relation that can be used to show that such models indeed satisfy certain formulas.

With that said, given the "right" choice for $P$ and $G$, we can produce, from $M$, a model where $\neg \textbf{CH}$ (the negation of the continuum hypothesis) is valid and, together with the fact that there's a model in which $\textbf{CH}$ is valid (this can be shown more "easily" without the need of forcing, you can find some proofs in the books I'll recommend), we complete a proof of the independence of $\textbf{CH}$. With a similar proof (with some adjustments) one can also show the independence of the Axiom of Choice and much more.

Now I'll give you some directions to what you need to study to understands forcing at a technical level. First you must know some basic logic (the basics of syntax and how formulas are defined recursively and some basic metatheorems) and basic model theory (basic definitions, soundness, consistency, completeness, compactness and Löwenheim–Skolem theorems); it's good if you also understand Gödel's incompleteness theorems, but only the main results, you don't have to dive into their proofs unless you are interested in doing so. With that background you now have to study some axiomatic set theory to have a more solid notion of things such as ordinals, cardinals, transitivity, rank, $\Delta$-systems and order theory. The last step is to study some basic properties of boolean algebras, as the most (IMO) intelligible and modern approach uses boolean-valued models.

All this and more you can find in the following books:

Set Theory - The Third Millennium Edition, revised and expanded;

Axiomatic Set Theory;

Set Theory: Boolean-Valued Models and Independence Proofs

  • 3
    $\begingroup$ Two very frequently used tools in Forcing are the Truth Lemma and the Definability Lemma. Like the fundamental theorem of calculus, they are often applied without any need to recall anything about how they are proved. $\endgroup$ Aug 29, 2016 at 21:10
  • 3
    $\begingroup$ You are totally right, it's possible to build a very good and solid knowledge on forcing and be able to apply it knowing a very little portion of all I cited. But, as an enthusiast of mathematical foundations, I have to ask: where is the fun on that? I'd like to give people the same experience I had studying this, anyways, they are free to not follow my path it and go as they wish. $\endgroup$ Aug 30, 2016 at 0:48

The existing answers are great; let me take a different tack and describe names.

Let's suppose I have some unknown set $X$. I can define "recipes" for building sets relative to $X$. (The technical term here is "names.") For example:

  • $Y=\emptyset$ if $7\in X$, and $Y=\mathbb{N}$ if $7\not\in X$.

  • $Y=\{n\in\mathbb{N}: 2n\in X\}$.

  • $Y=\{\{\{...\}\}\mbox{ ($n$ many brackets)}: n\in X\}$.

  • And so on.

Write "$Y[X]$" to mean "The evaluation of $Y$ given $X$." (So e.g. if $Y$ is the first recipe described above, and $X=\{2, 3, 4\}$, then $Y[X]=\mathbb{N}$.) We can even have recipes which call other recipes! Suppose I've defined recipes $Y_i$ ($i\in\mathbb{N}$). Now "$Z=\{Y_i[X]: i\in X\}$" is a recipe! And we can have recipes calling recipes calling recipes calling . . . and so on.

This gives a method for attempting to expand a model $V$ of ZFC. Take a set $X\subseteq V$ (maybe $X\not\in V$!), and let $V[X]$ be the set of all recipes in $V$ evaluated at $X$. This makes perfect sense. But . . .

Question. Is this groovy?

Note that on the face of it, there's no reason to expect anything nice to happen at all! Cohen amazingly showed (among other things) the following:

Theorem. For certain types of $X$ - namely, if $X$ is a $V$-generic filter through some poset $\mathbb{P}\in V$ - we have $V[X]\models ZFC$.

The proof of this is quite technical, and I think it's here that we need to actually do some work; but hopefully this helps explain what sort of object the generic extension (this is $V[X]$) is, and what it is we need to prove about it.

Let me say a little bit about the proof. The key idea is the forcing relation:

Definition. For $\mathbb{P}\in V$ a poset and $p\in\mathbb{P}$, we say $p$ forces $\varphi$ - and write "$p\Vdash\varphi$" - if for every generic (over $V$) filter $X$ containing $p$, $V[X]\models\varphi$. (Here $\varphi$ is a sentence that maybe also refers to recipes; and when I write "$V[X]\models \varphi$," we look at the version of $\varphi$ where all recipes are evaluated at $X$.)

It turns out that the forcing relation is definable inside $V$, even though of course $V$ can't directly talk about generic filters! This turns out to be a very powerful tool; let me sketch an application.

Suppose $A\in V$ is a countable set, and $\mathbb{P}$ is countably closed - if $p_0\ge p_1\ge p_2\ge . . .$ is a descending $\omega$-chain of conditions, then there is some $p$ such that $p\le p_i$ for every $i$. Let $X$ be $\mathbb{P}$-generic over $V$. Then I claim that every subset of $A$ which is in $V[X]$, is already in $V$.

Why? Well, suppose $B$ is a subset of $A$ which is in $V[X]$. Then $B=\nu[X]$ for some recipe $\nu$. Suppose WLOG that $\Vdash \nu\subseteq A$. (The fact that this is WLOG is not at all obvious, but skip that for now.) Now let $$E=\{p\in\mathbb{P}: \exists C\subseteq A, C\in V,\mbox{ such that }p\Vdash \nu=C\}$$ be the set of conditions which guarantee that $\nu$ isn't "new." I claim $E$ is dense in $\mathbb{P}$. If so, we're done, since $X$ (being generic) contains an element of $E$, and hence $\nu[X]\in V$.

To see this, let $q\in\mathbb{P}$ and write $A=\{a_0, a_1, a_2, . . .\}$. Now, since the forcing relation is definable, inside $V$ we may define a sequence of conditions $p_0, p_1, p_2, . . .$ such that

  • $q\ge p_0\ge p_1\ge p_2\ge . . .$, and

  • for each $i$, $p_i\Vdash a_i\in \nu$ or $p_i\Vdash a_i\not\in\nu$.

(Why the latter? Well, if we can't find a condition forcing $a_i\in\nu$, that must be because we've already forced $a_i\not\in\nu$! This takes proof, but isn't too hard - it's a good exercise.)

But since $\mathbb{P}$ is countably closed, and the sequence $\{p_i\}$ exists in $V$, we must have some $p\in\mathbb{P}$ such that $p\le p_i$ for every $i$. But then $p$ is in $E$, since $V$ can tell which $a_i$ are forced by $p$ to be in $\nu$!

So every element of $\mathbb{P}$ lies above some element of $E$ - that is, $E$ is dense.

This is the key step to showing how we can force the Continuum Hypothesis to be true. For forcing the Continuum Hypothesis to be false, we use an analysis of a different combinatorial property - the countable chain condition. The key takeaway is that combinatorial properties of the poset translate into properties of the generic extension. But I think I'll stop here.

  • 2
    $\begingroup$ Woodin called this "a blueprint for a larger universe" in a general audience lecture once. I liked that term, "blueprint". $\endgroup$
    – Asaf Karagila
    Aug 29, 2016 at 16:26
  • 2
    $\begingroup$ "So e.g. if $Y$ is the first recipe described above, and $X=\{2,3,4\}$, then $Y[X]=\emptyset$." — I didn't know that $7\in\{2,3,4\}$ :-) $\endgroup$
    – celtschk
    Aug 29, 2016 at 20:22
  • 1
    $\begingroup$ @Asaf Karaglia. I recall Prof, Franklin Tall, in his weekly advanced/research seminars, taking what he called the "cyberpunk attitude " , in which we think of forcing over the universe $V$ to get a larger universe $V[G]$. $\endgroup$ Aug 29, 2016 at 21:00
  • $\begingroup$ @celtschk Dangnabit. Fixed! $\endgroup$ Aug 29, 2016 at 21:15
  • 2
    $\begingroup$ @user254665: I have the benefit of not being part of any philosophical approach to mathematics. It allows me to pick whatever approach is convenient at a given time, and work with that. I've been a formalist and I've been a multiversist. And I've also held the cyberpunk attitude on numerous occasions. It's all good, and it all works, if you let it work. $\endgroup$
    – Asaf Karagila
    Aug 29, 2016 at 21:15

A way to think about this is via the analogy with Baire category theorem. Recall, Baire category theorem says that for some certain poset $(\mathbb{R},<)$ and any countable collection of dense open sets, there exists a "generic" element that lies in all of them. Well countable collection of open sets is crucial if we want the generic element to lie in the current universe. So a generalization is that for any poset $\mathbb{P}$ and any collection of dense open sets in the current universe we can find a generic element in all of them. Of course you need to step out of the current universe. In the end you want to somehow get a model of axioms of set theory including the generic element extending the original universe. And also this model is somewhat minimal and canonical as you can "describe" what is true in that universe just from the current universe. This is very vague so you should definitely look into some suggestions in the comment above.


I made the following statement in a Reddit discussion (in /r/math) about the Cohen model for not-CH:

"The point of forcing is that you can describe this process using a 'forcing language' definable in the ground model, so that the ground model can talk in this language about what is happening in the extension. So, consistency of ZFC (in the ground model, where you define the forcing language to talk about the extension) implies consistency of ZFC+not-CH (in the extension, what the forcing language talks about). This is why it is all stated as relative consistency."

To put a bit more detail to this, in the context of @PedroPimenta's answer, the poset $P$ in the ground model is used to establish "relative truth values" for statements in the extension -- the forcing relation "$p\Vdash\phi$" is defined syntactically (i.e. inductively on the length of $\phi$), so there is something to prove before you can say that "$(\exists p\in G)p\Vdash \phi$ iff $\phi$ is valid in $M[G]$." Now the generic set $G$ is, first of all, a filter in $P$, so statements forced by $p\in G$ are "mutually consistent" (i.e. you didn't introduce any contradictions in the extension), and second, $G$ is "generic" meaning it intersects all dense subsets of $P$, so the forcing language says "as much as possible" about truth in the extension.

From here, as @PedroPimenta suggests, it is down to a clever choice for $P$ and $G$. For the Cohen model, $P$ consists of finite partial functions from $\omega_2$ to $2^\omega$, ordered by reverse inclusion. The rest of the argument, such as showing that $P$ has the countable chain condition (to avoid cardinal collapses in the extension), is almost purely combinatorial. My gripe with the Boolean algebra approach to forcing is that it hides these combinatorial arguments under another layer of structure. For this reason, I recommend the following reference:

Set Theory: An Introduction to Independence Proofs

A particularly nice article by Baumgartner here highlights the combinatorial nature of forcing:

Independence Proofs and Combinatorics

Shoenfield's original article on the "unramified" approach to forcing remains quite readable:

Unramified Forcing

  • 4
    $\begingroup$ The forcing language is not definable in the ground model. Each formula, however, is definable in ground model. This is a very delicate and an extremely important point when talking about the language of forcing. The definition of $p\Vdash\phi$ is done by induction on the structure of $\phi$ in the meta-theory. And this is a huge distinction. This is also hinted by the fact that the forcing relation is equivalent to something akin to "all generic filters ..." which quantify over objects outside the ground model. $\endgroup$
    – Asaf Karagila
    Aug 29, 2016 at 20:19
  • $\begingroup$ As I said, the fact I chose to reccomend books that uses the approach from boolean-valued models is just a matter of my opinion, so I'm very happy to see someone not only suggesting alternative quality materials, but also a good reason to follow their approach. $\endgroup$ Aug 29, 2016 at 21:03

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .