The Stacks project

3.8 Reflection principle

Some of this material is in the chapter of [Kunen] called “Easy consistency proofs”.

Let $\phi (x_1, \ldots , x_ n)$ be a formula of set theory. Let us use the convention that this notation implies that all the free variables in $\phi $ occur among $x_1, \ldots , x_ n$. Let $M$ be a set. The formula $\phi ^ M(x_1, \ldots , x_ n)$ is the formula obtained from $\phi (x_1, \ldots , x_ n)$ by replacing all the $\forall x$ and $\exists x$ by $\forall x\in M$ and $\exists x\in M$, respectively. So the formula $\phi (x_1, x_2) = \exists x (x\in x_1 \wedge x\in x_2)$ is turned into $\phi ^ M(x_1, x_2) = \exists x \in M (x\in x_1 \wedge x\in x_2)$. The formula $\phi ^ M$ is called the relativization of $\phi $ to $M$.

Theorem 3.8.1. Suppose given $\phi _1(x_1, \ldots , x_ n), \ldots , \phi _ m(x_1, \ldots , x_ n)$ a finite collection of formulas of set theory. Let $M_0$ be a set. There exists a set $M$ such that $M_0 \subset M$ and $\forall x_1, \ldots , x_ n \in M$, we have

\[ \forall i = 1, \ldots , m, \ \phi _ i^{M}(x_1, \ldots , x_ n) \Leftrightarrow \forall i = 1, \ldots , m, \ \phi _ i(x_1, \ldots , x_ n). \]

In fact we may take $M = V_\alpha $ for some limit ordinal $\alpha $.

Proof. See [Theorem 12.14, Jech] or [Theorem 7.4, Kunen]. $\square$

We view this theorem as saying the following: Given any $x_1, \ldots , x_ n \in M$ the formulas hold with the bound variables ranging through all sets if and only if they hold for the bound variables ranging through elements of $V_\alpha $. This theorem is a meta-theorem because it deals with the formulas of set theory directly. It actually says that given the finite list of formulas $\phi _1, \ldots , \phi _ m$ with at most free variables $x_1, \ldots , x_ n$ the sentence

\[ \begin{matrix} \forall M_0\ \exists M, \ M_0 \subset M\ \forall x_1, \ldots , x_ n \in M \\ \phi _1(x_1, \ldots , x_ n) \wedge \ldots \wedge \phi _ m(x_1, \ldots , x_ n) \leftrightarrow \phi _1^ M(x_1, \ldots , x_ n) \wedge \ldots \wedge \phi _ m^ M(x_1, \ldots , x_ n) \end{matrix} \]

is provable in ZFC. In other words, whenever we actually write down a finite list of formulas $\phi _ i$, we get a theorem.

It is somewhat hard to use this theorem in “ordinary mathematics” since the meaning of the formulas $\phi _ i^ M(x_1, \ldots , x_ n)$ is not so clear! Instead, we will use the idea of the proof of the reflection principle to prove the existence results we need directly.

Comments (3)

Comment #7741 by Jake on

Is there any reason why this page talks about a finite list of formulas rather than a single formula (which could be the conjunction of the aforementioned formulas)?

Comment #7744 by Laurent Moret-Bailly on

I think it should be observed that for given , on can write "uniformly in " in the sense that there is a formula with the property that for each set , is a relativization of to . This is necessary in order for the displayed formula in the comments after Theorem 3.8.1 to be a sentence, since is a variable there.

Comment #7988 by on

Both your comments are good. However, since we never use this theorem, I think the discussion as is, although somewhat imprecise, is good enough.

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 000F. Beware of the difference between the letter 'O' and the digit '0'.