Jensen ${\Delta }_n^1$ Reals by Means of ZFC and Second-Order Peano Arithmetic

Abstract

It was established by Jensen in 1970 that there is a generic extension $\mathbf{L}\left[a\right]$ of the constructible universe $\mathbf{L}$ by a non-constructible real $a\notin \mathbf{L}$, minimal over $\mathbf{L}$, such that a is ${\Delta }_3^1$ in $\mathbf{L}\left[a\right]$. Our first main theorem generalizes Jensen’s result by constructing, for each $n\ge 2$, a generic extension $\mathbf{L}\left[a\right]$ by a non-constructible real $a\notin \mathbf{L}$, still minimal over $\mathbf{L}$, such that a is ${\Delta }_{n+1}^1$ in $\mathbf{L}\left[a\right]$ but all ${\mathit{\Sigma }}_n^1$ reals are constructible in $\mathbf{L}\left[a\right]$. Jensen’s forcing construction has found a number of applications in modern set theory. A problem was recently discussed as to whether Jensen’s construction can be reproduced entirely by means of second-order Peano arithmetic ${\mathbf{PA}}_2$, or, equivalently, ${\mathbf{ZFC}}^{-}$ (minus the power set axiom). The obstacle is that the proof of the key CCC property (whether by Jensen’s original argument or the later proof using the diamond technique) essentially involves countable elementary submodels of ${\mathbf{L}}_{{\omega }_2}$, which is way beyond ${\mathbf{ZFC}}^{-}$. We demonstrate how to circumvent this difficulty by means of killing only definable antichains in the course of a Jensen-like transfinite construction of the forcing notion, and then use this modification to define a model with a minimal ${\Delta }_{n+1}^1$ real as required as a class-forcing extension of a model of ${\mathbf{ZFC}}^{-}$ plus $\mathbf{V}=\mathbf{L}$.

1. Introduction

This paper contains two main results. The following theorem is the first main result. Theorem 2 below is the second main result, along with the associated technique of consistency proofs by class forcing over the power-less set theory ${\mathbf{ZFC}}^{-}$, or, equivalently, the second-order Peano arithmetic ${\mathbf{PA}}_2$.

Studies of the relationship between Gödel’s constructibility and the analytic definability of the reals (here: points of the Cantor discontinuum $2^{\omega }$ or the Baire space ${\omega }^{\omega }$) began with a profound study by Shoenfield [1], in which it was established that all ${\mathit{\Sigma }}_2^1$ reals are constructible. With the development of the forcing method in the 1960s, various models of Zermelo–Fraenkel set theory ZFC were proposed, in which there exists a non-constructible real analytically definable above the Shoenfield level ${\mathit{\Sigma }}_2^1$; see a survey [2] by Mathias. Of those, the strongest result was obtained by Jensen [3], and it corresponds to the case $\mathbb{n}=2$ of Theorem 1. A similar result for $\mathbb{n}=2$, but in the absence of (ii) and (iii), was obtained by Jensen and Solovay [4] using a different technique. Further research in this direction included, in particular, studies of Solovay [5] on ${\Delta }_3^1$ reals under large cardinal assumptions, Abraham [6] on definable reals coding minimal collapse functions $\omega \stackrel{\mathrm{onto}}{⟶}{\aleph }_1^{\mathbf{L}}$, Harrington [7] on definable well-orderings of the reals in the absence of the continuum hypothesis, David [8] on non-constructible ${\Delta }_3^1$ reals, Jensen and Johnsbraten [9] on ${\Delta }_3^1$ reals, any pair of which entails a collapse function $\omega \stackrel{\mathrm{onto}}{⟶}{\aleph }_1^{\mathbf{L}}$, and many more.

Theorem 1.

If $\mathbb{n}\ge 2$, then there exists a generic extension of the universe $\mathbf{L}$ in which it holds that:

(i)

There is a nonconstructible ${\Delta }_{\mathbb{n}+1}^1$ real $a\in 2^{\omega }$, such that:

(ii)

$\mathbf{V}=\mathbf{L}\left[a\right]$ holds;

(iii)

a is minimal over $\mathbf{L}$, in the sense that $a\notin \mathbf{L}$ but any real $x\in \mathbf{L}\left[a\right]$ either belongs to $\mathbf{L}$ or satisfies $a\in \mathbf{L}\left[x\right];$

(iv)

But all ${\mathit{\Sigma }}_{\mathbb{n}}^1$ sets $x\subseteq \omega$ are constructible and ${\mathit{\Sigma }}_{\mathbb{n}}^1$ in $\mathbf{L}.$

We have recently succeeded in proving a weaker version of Theorem 1, again without (ii) and (iii), but for all $\mathbb{n}\ge 2$, in [10], using essentially the same technique of forcing by almost disjoined sets as in [4], but modified by the method of the definable generic construction of the notion of forcing. This led us to the problem of incorporating (ii) and (iii) into this general result, and Theorem 1 solves this problem. The first part of this paper (Section 2, Section 3, Section 4, Section 5, Section 6, Section 7, Section 8, Section 9, Section 10, Section 11, Section 12 and Section 13) contains the full proof of Theorem 1, using a similar definable generic modification of the forcing notion originally developed in [3], so that the level of definability is determined by the value of the parameter $\mathbb{n}$ in Theorem 1. This innovation, on top of Jensen’s forcing, is the sine qua non of our proof of Theorem 1. See Section 9 for a sketch of the construction.

The second main result of the paper concerns an important aspect of the result above in the context somewhat similar to the “reverse mathematics” approach. Indeed, Theorem 1 essentially asserts, for any given $\mathbb{n}\ge 2$, the consistency of the conjunction

$$\left(\mathrm{i}\right)\wedge \left(\mathrm{ii}\right)\wedge \left(\mathrm{iii}\right)\wedge \left(\mathrm{iv}\right)$$

(∗)

with the axioms of ZFC. We may note here that the conjunction $(\ast )$ can be adequately and rather straightforwardly represented by means of a suitable formula of the language $\mathcal{L}\left({\mathbf{PA}}_2\right)$ of ${\mathbf{PA}}_2$, second-order Peano arithmetic.

We recall that, following [11,12,13], second-order Peano arithmetic ${\mathbf{PA}}_2$ is a theory in the language $\mathcal{L}\left({\mathbf{PA}}_2\right)$ with two sorts of variables: for natural numbers and for sets of them. We use $j,k,m,n$ for variables over $\omega$ and $x,y,z$ for variables over $\mathcal{P}\left(\omega \right)$, reserving capital letters for subsets of $\mathcal{P}\left(\omega \right)$ and other sets. The axioms are as follows in (1)–(5):

(1)

Peano’s axioms for numbers.

(2)

Induction as one sentence: $\forall x\left(0\in x\wedge \forall n(n\in x⟹n+1\in x)⟹\forall n(n\in x)\right)$.

(3)

Extensionality for sets of natural numbers.

(4)

The Comprehension schema CA: $\exists x\forall k(k\in x⟺\Phi (k\left)\right)$, for every formula $\Phi$ in which x does not occur, and, in $\Phi$, we allow for parameter-free variables other than k.

(5)

The schema ${\mathbf{AC}}_{\omega }$ of Countable Choice: $\forall k\exists x\Phi (k,x)⟹\exists x\forall k\Phi (k,{\left(x\right)}_k))$, for every formula $\Phi$ with parameters allowed, where ${\left(x\right)}_k=\{j:2^k(2j+1)-1\in x\}$.

The theory ${\mathbf{PA}}_2$ is also known as $A_2$ (see, e.g., an early survey [11]), az $Z_2$ (in [14] or elsewhere). See also [15].

The analytical representation of Gödel’s constructibility is well known since the 1950s; see, e.g., Addison [16], Apt and Marek [11], and Simpson’s book [13]. This raises the problem of the consistency of (the analytical form of) $(\ast )$ under the assumption that only the consistency of ${\mathbf{PA}}_2$ as a premise is available, rather than the (much stronger) consistency of ZFC. This is why we consider and solve this problem in our paper.

The working technique of such a transformation of the consistency results related to ZFC to the basis of ${\mathbf{PA}}_2$ is also rather well known since some time ago. (See, e.g., Guzicki [17].) It makes use of ${\mathbf{ZFC}}^{-}$ as a proxy theory.

We recall that the power-less set theory ${\mathbf{ZFC}}^{-}$ is a subtheory of ZFC obtained so that:

(a)

The power set axiom PS is excluded;

(b)

The well-orderability axiom WA, which claims that every set can be well ordered, is substituted for the usual set-theoretic axiom of choice AC of ZFC;

(c)

the separation schema is preserved, but the replacement schema (which is not sufficiently strong in the absence of PS) is substituted with the collection schema: $\forall X\exists Y\forall x\in X\left(\exists y\Phi (x,y)⟹\exists y\in Y\Phi (x,y)\right)$.

A comprehensive account of main features of ${\mathbf{ZFC}}^{-}$ is given in, e.g., [18,19,20].

Theories ${\mathbf{PA}}_2$ and ${\mathbf{ZFC}}^{-}$ are known to be equiconsistent (Kreisel [12], Apt and Marek [11]; see Section 18 for more details on this equiconsistency claim), so we can make use of ${\mathbf{ZFC}}^{-}$ as the background theory instead of ${\mathbf{PA}}_2$. If now we have established the consistency of a $\mathcal{L}\left({\mathbf{PA}}_2\right)$-sentence S by means of a generic extension of $\mathbf{L}$, the constructible universe, via a forcing notion $P\in \mathbf{L}$, then we check if P can be defined in ${\mathbf{ZFC}}^{-}$ as a set or class in $\mathbf{L}$ and whether ${\mathbf{ZFC}}^{-}$ is strong enough to prove that P-generic extensions of $\mathbf{L}$ model S. And, if yes, then we have a proof of the consistency of S with ${\mathbf{PA}}_2$ on the basis of the consistency of ${\mathbf{PA}}_2$ alone.

Such a method (sketched, e.g., in [17]), however, does not seem to immediately work even for the result in [3] ($\mathbb{n}=2$ of Theorem 1). Indeed, the construction of Jensen’s forcing notion $\mathbb{P}$ (either using Jensen’s [3] original method or via the diamond principle ${◇}_{{\omega }_1}$ as in ([21] 28.A) in $\mathbf{L}$ does not directly work in ${\mathbf{ZFC}}^{-}$ because the proof of the key CCC property (the countable chain condition) and some other involved properties of $\mathbb{P}$, using either method, heavily depends on countable elementary submodels of ${\mathbf{L}}_{{\omega }_2}$, hence transitive models of ${\mathbf{ZFC}}^{-}$ itself, which is way beyond ${\mathbf{ZFC}}^{-}$. In the second part of this paper (Section 14, Section 15, Section 16, Section 17 and Section 18), we circumvent this difficulty by means of the method of killing only antichains that belong to a certain transitive model of the bounded separation axiom instead of the full separation as in ${\mathbf{ZFC}}^{-}$, in the course of a Jensen-like transfinite construction of the forcing notion. This innovation is not a trivial and easily seen modification, and we may observe that not all mathematically meaningful results about hereditarily countable sets, and countable ordinals in particular, can be rendered on the ${\mathbf{ZFC}}^{-}$ basis; see, e.g., [22]. The relevant changes are concentrated in Definition 10 and Condition 4⁺ in Section 15.

Thereby, the following theorem is the second main result of this paper.

Theorem 2.

If $\mathbb{n}\ge 2$, then the conjunction $\left(\mathrm{i}\right)\wedge \left(ii\right)\wedge \left(iii\right)\wedge \left(iv\right)$ of items of Theorem 1 is consistent with ${\mathbf{PA}}_2$ provided that ${\mathbf{PA}}_2$ itself is consistent.

2. Preliminaries

Let ${\omega }^{<\omega }$ be the set of all strings (finite sequences) of natural numbers. Accordingly, $2^{<\omega }\subseteq {\omega }^{<\omega }$ is the set of all dyadic strings.If $t\in {\omega }^{<\omega }$ and $k<\omega$, then $t̑k$ is the extension of t by k as the rightmost term. If $s,t\in {\omega }^{<\omega }$, then $s\subseteq t$ means that t extends s, while $s\subset t$ means a proper extension of strings.

If $s\in {\omega }^{<\omega }$, then $\mathtt{lh}s$ is the length of s, and ${\omega }^n=\{s\in {\omega }^{<\omega }:\mathtt{lh}s=n\}$ (strings of length n), and, accordingly, $2^n={\omega }^n\cap 2^{<\omega }=\{s\in 2^{<\omega }:\mathtt{lh}s=n\}$.

A set $T\subseteq {\omega }^{<\omega }$ is a tree iff, for any strings $s\subset t$ in ${\omega }^{<\omega }$, if $t\in T$ then $s\in T$. Thus, every non-empty tree $T\subseteq {\omega }^{<\omega }$ contains the empty string $\Lambda$. If $T\subseteq {\omega }^{<\omega }$ is a tree and $s\in T$, then put $T{\upharpoonright }_s=\{t\in T:s\subseteq t\vee t\subseteq s\}$; this is a tree as well.

Let PT be the set of all perfect trees $⌀\ne T\subseteq 2^{<\omega }$.Thus, a non-empty tree $T\subseteq 2^{<\omega }$ belongs to $\mathbf{PT}$ iff it has no endpoints and no isolated branches. In this case, there is a largest string $s\in T$ such that $T=T{\upharpoonright }_s$; it is denoted by $s=\mathrm{root}\left(T\right)$(the root of a perfect tree T). If $s=\mathrm{root}\left(T\right)$, then s is a branching node of T; that is,$s̑1\in T$ and $s̑0\in T$.

Each perfect tree $T\in \mathbf{PT}$ defines a perfect set $\left[T\right]=\left\{a\in 2^{\omega }:\forall n(a\upharpoonright n\in T)\right\}\subseteq 2^{\omega }$ of all paths through T; then, accordingly, $T=\mathbf{tree}\left[T\right]$, where

$$\mathbf{tree}\left(X\right)=\{a\upharpoonright n:a\in X\wedge n\in \omega \}\subseteq 2^{<\omega }\mathrm{for}\mathrm{any}\mathrm{set}X\subseteq 2^{\omega }.$$

If $S\subseteq T$ are trees in $\mathbf{PT}$ and there is a finite set $A\subseteq T$ such that $S={\bigcup }_{s\in A}T{\upharpoonright }_s$, then we say that S is clopen in T; then, $\left[S\right]$ is a relatively clopen subset of $\left[T\right]$. Trees clopen in $2^{<\omega }$ itself will be called simply clopen; thus, clopen trees are those of the form $S={\bigcup }_{s\in A}\left[s\right]$, where $A\subseteq 2^{<\omega }$ is a finite set and $\left[s\right]=\{t\in 2^{<\omega }:s\subseteq t\vee t\subseteq s\}$ for each $s\in 2^{<\omega }$.

A set $A\subseteq \mathbf{PT}$ is a true antichain iff $\left[T\right]\cap \left[S\right]=⌀$ (or, equivalently, $S\cap T$ is finite) for all $S\ne T$ in A. If $X\subseteq \mathbf{PT}$, then a set $D\subseteq X$ is:

-

Dense in X, iff, for every tree $T\in X$, there is a subtree $S\in D,S\subseteq T$;

-

Open dense in X, iffit is dense in X and $T\in D$ holds whenever $T\in X$, $S\in D$, and $T\subseteq S$;

-

Pre-dense in X, iffthe set $D^{+}=\{T\in X:\exists S\in D(T\subseteq S)\}$ is dense in X.

As usual, if $T\in \mathbf{PT}$, $D\subseteq \mathbf{PT}$, and there is a finite set $A\subseteq D$ such that $T\subseteq \bigcup A$ (or, equivalently, $\left[T\right]\subseteq {\bigcup }_{S\in A}\left[S\right]$) then we write $T{\subseteq }^{\mathrm{fin}}\bigcup D$,and if, in addition, A is a true antichain, then we write $T{\subseteq }^{\mathrm{fd}}\bigcup D$.

Thus, perfect sets in the Cantor space $\mathbb{C}=2^{\omega }$ are straightforwardly coded by perfect trees in $\mathbf{PT}$. It takes more effort to introduce a reasonable coding system for continuous functions $F:2^{\omega }\to {\omega }^{\omega }$. Let FPT (functional perfect trees) be the set of all sets $c\subseteq 2^{<\omega }\times {\omega }^{<\omega }$ such that

(a)

If $⟨s,u⟩\in c$, then $\mathtt{lh}s=\mathtt{lh}u$;

(b)

c is a tree; that is, if $⟨s,u⟩\in c$ and $n<\mathtt{lh}s=\mathtt{lh}u$, then $⟨s\upharpoonright n,u\upharpoonright n⟩\in c$;

(c)

$\mathtt{dom}c=2^{<\omega }$; that is, $\forall s\in 2^{<\omega }\exists u\in {\omega }^{<\omega }(⟨s,u⟩\in c)$;

(d)

c has no endpoints; that is, if $⟨s,u⟩\in c$ and $\ell \in \{0,1\}$, then there is $k<\omega$ such that $⟨s̑\ell ,ȗk⟩\in c$;

(e)

For every m, there exists $k\ge m$ such that if $s\in 2^k$, then there is a string $u_s\in {\omega }^m$ satisfying $\forall u\in {\omega }^{<\omega }(⟨s,u⟩\in c⟹u_s\subseteq u)$.

If $F:2^{\omega }\to {\omega }^{\omega }$ is continuous, then the set $c=\mathbf{cod}F$, where

$$\mathbf{cod}F=\{⟨a\upharpoonright n,F\left(a\right)\upharpoonright n⟩:a\in 2^{\omega }\wedge n<\omega \}\mathrm{for}\mathrm{any}\mathrm{map}F:2^{\omega }\to {\omega }^{\omega },$$

belongs to FPT (condition (e) represents the uniform continuity of F defined on a compact space), and ${\mathbb{f}}_{\mathbf{cod}\left(F\right)}=F$, where

$${\mathbb{f}}_c=\{⟨a,b⟩\in 2^{\omega }\times {\omega }^{\omega }:\forall m⟨a\upharpoonright m,b\upharpoonright m⟩\in c)\},\mathrm{for}\mathrm{every}c\in \mathbf{FPT}.$$

(a function coded by c). Conversely, if $c\in \mathbf{FPT}$, then $\mathbf{cod}{\mathbb{f}}_c=c$.

Lemma 1

(well known). If $T\in \mathbf{PT}$ and $c\in \mathbf{FPT}$, then either there is a string $s\in T$ such that the restriction ${\mathbb{f}}_c\upharpoonright \left[T{\upharpoonright }_s\right]$ is a constant, or there is a subtree $S\in \mathbf{PT},S\subseteq T$, such that the restriction ${\mathbb{f}}_c\upharpoonright \left[S\right]$ is an injection.

3. Splitting Systems of Trees

If $T\in \mathbf{PT}$ and $i=0,1$, then let $T[\to i]=T{\upharpoonright }_{ȓi}$, where $r=\mathrm{root}\left(T\right)$; obviously, $T[\to i]$ are trees in $\mathbf{PT}$ as well. Define $T[\to s]$ for $s\in 2^{<\omega }$ by induction on $\mathtt{lh}s$ so that $T[\to \Lambda ]=T$ and $T[\to s̑i]=T[\to s][\to i]$.

A splitting system is any indexed set ${⟨T_s⟩}_{s\in 2^{<\omega }}$ of trees $T_s\in \mathbf{PT}$ satisfying

(A)

If $s\in 2^{<\omega }$ and $i=0,1$, then $T_{s̑i}\subseteq T_s[\to i]$.

It easily follows from (A) that

(B)

$s\subseteq s^{\prime }⟹T_{s^{\prime }}\subseteq T_s$; and

(C)

If $n<\omega$ and strings $s\ne t$ belong to $2^n$, then $\left[T_s\right]\cap \left[T_t\right]=⌀$.

Lemma 2

(routine). If ${⟨T_s⟩}_{s\in 2^{<\omega }}$ is a splitting system, then $T={\bigcap }_n{\bigcup }_{s\in 2^n}{T}_s$ is a perfect subtree of $T_{\Lambda }$, and $\left[T\right]={\bigcap }_n{\bigcup }_{s\in 2^n}\left[T_s\right]$. In addition, $\left[T{\upharpoonright }_s\right]=\left[T\right]\cap \left[T_s\right]$ for all s.

We proceed to several slightly more complicated applications.

Lemma 3.

If $\{T^n:n<\omega \}\subseteq \mathbf{PT}$, then there exists a sequence of trees $S^n\in \mathbf{PT}$ such that $S^n\subseteq T^n$ for all n and $\left[S^k\right]\cap \left[S^n\right]=⌀$ whenever $k\ne n$.

Proof. 

If $T,T^{\prime }\in \mathbf{PT}$, then there are perfect trees $S\subseteq T$ and $S^{\prime }\subseteq T^{\prime }$ such that $\left[S\right]\cap \left[S^{\prime }\right]=⌀$. This allows us to easily define a system ${⟨T_s\left(k\right)⟩}_{s\in 2^{<\omega },k<\omega }$ of trees $T_s\left(k\right)\in \mathbf{PT}$ such that

(1)

If $k<\omega$, then ${⟨T_s\left(k\right)⟩}_{s\in 2^{<\omega }}$ is a splitting system consisting of subtrees of $T^k$;

(2)

If $k<\ell <n<\omega$ and $s,t\in 2^n$, then $\left[T_s\left(k\right)\right]\cap \left[T_t(\ell )\right]=⌀$.

(The inductive construction is arranged so that, at each step n, we define all trees $T_s\left(k\right)$ with $k<n$ and $s\in 2^n$ and also all trees $T_s\left(n\right)$ with $\mathtt{lh}s\le n$.) Now, we simply put $S^k={\bigcap }_n{\bigcup }_{s\in 2^n}{T}_s\left(k\right)$ for all k. □

Lemma 4.

If $\{T^n:n<\omega \}\subseteq \mathbf{PT}$ and $F:2^{\omega }\to {\omega }^{\omega }$ is continuous, then there exist perfect trees $S^n\subseteq T^n$ such that either $F\left(a\right)\notin {\bigcup }_n\left[S^n\right]$ for all $a\in \left[S^0\right]$ or $F\left(a\right)=a$ for all $a\in \left[S^0\right]$.

Proof. 

Suppose that $F\left(a_0\right)\ne a_0$ for some $a_0\in \left[T^0\right]$. By continuity of F, there are a clopen subtree $S\subseteq T^0$ and a clopen neighborhood A of $F\left(a_0\right)$ such that $F\left(\right[S\left]\right)\subseteq A$ and $\left[S\right]\cap A=⌀$. Hence, $F\left(a\right)\notin \left[S\right]$ for all $a\in \left[S\right]$. The compact set $X=F\left(\right[S\left]\right)$ is either countable or has a perfect subset. If X is countable, then let $S^0=S$ and, for every, $n\ge 1$ let $S^n\subseteq T^n$ be an arbitrary perfect tree such that $\left[S^n\right]\subseteq \left[T^n\right]\setminus X$.

Assume that there is a perfect tree T such that $\left[T\right]\subseteq X$. By Lemma 3, there are trees $U^n\in \mathbf{PT}$ such that $U^0\subseteq T$, $U^{n+1}\subseteq T^{n+1}$, and [$U^k]\cap \left[U^n\right]=⌀$ whenever $k\ne n$. Choose $S^0\in \mathbf{PT}$ such that $\left[S^0\right]\subseteq \left[S\right]\cap F^{-1}\left(\left[U^0\right]\right)$ and let $S^{n+1}=U^{n+1}$. □

4. Jensen’s Construction: Overview

Beginning the proof of case $n=2$ of Theorem 1, we list essential properties of Jensen’s forcing $\mathbb{P}\in \mathbf{L}$:

(1) $\mathbb{P}$ consists of perfect trees $T\subseteq 2^{<\omega }$ (a subset of the Sacks forcing);

(2) $\mathbb{P}$ forces that there is a unique $\mathbb{P}$-generic real;

(3) “being a $\mathbb{P}$-generic real” is a ${\mathit{\Pi }}_2^1$ property;

(4) $\mathbb{P}$ forces that the generic real is (nonconstructible and) minimal.

Thus, $\mathbb{P}$ forces a nonconstructible ${\mathit{\Pi }}_2^1$ real singleton $\left\{a\right\}$ over $\mathbf{L}$, whose only element is, therefore, a ${\Delta }_3^1$ real in $\mathbf{L}\left[a\right]$.

Jensen [3] defined a forcing $\mathbb{P}$ in $\mathbf{L}$ in the form $\mathbb{P}={\bigcup }_{\alpha <{\omega }_1}{\mathbb{P}}_{\alpha }$, where each ${\mathbb{P}}_{\alpha }$ is a countable collection of perfect trees $T\subseteq 2^{<\omega }$. The construction of the ${\omega }_1$-sequence of sets ${\mathbb{P}}_{\alpha }$ is arranged so that each ${\mathbb{P}}_{\alpha }$ is generic, in a certain sense, over the least transitive model of a suitable fragment of ZFC, containing the subsequence ${⟨{\mathbb{P}}_{\gamma }⟩}_{\gamma <\alpha }$. A striking corollary of such a genericity is that $\mathbb{P}$ forces that there is only one $\mathbb{P}$-generic real. Another corollary consists in the fact that, for a real $x\in 2^{\omega }$, being $\mathbb{P}$-generic is equivalent to $x\in {\bigcap }_{\alpha <{\omega }_1}{\bigcup }_{T\in {\mathbb{P}}_{\alpha }}\left[T\right]$. The construction can be managed so that the whole sequence ${⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}$ is ${\Delta }_2^1$, or, more exactly, ${\Delta }_1^{\mathrm{HC}}$ in $\mathbf{L}$. (We recall that HC = all hereditarily countable sets. A set x is hereditarily countable iff its transitive closure is at most countable.) Altogether, it follows that if $a\in 2^{\omega }$ is a $\mathbb{P}$-generic real, then $\left\{a\right\}\in {\mathit{\Pi }}_2^1$ in $\mathbf{L}\left[a\right]$; that is, $a\in {\Delta }_3^1$ in $\mathbf{L}\left[a\right]$, which is obviously the lowest possible level for a nonconstructible real. The minimality of $\mathbb{P}$-generic reals follows from another property of $\mathbb{P}$: given a tree $S\in \mathbb{P}$ and a continuous $F:2^{\omega }\to {\omega }^{\omega }$, there is a tree $T\in \mathbb{P},T\subseteq S$ (a stronger condition) such that $F\upharpoonright \left[T\right]$ is either a bijection or a constant.

Now, we consider this construction in detail.

5. Jensen’s Sequences

In this section, we argue in $\mathbf{L}$.

See Section 1 regarding matters of the power-less set theory ${\mathbf{ZFC}}^{-}$. Let ${\mathbf{ZFC}}_{\mathcal{P}\left(\omega \right)}^{-}$ be the theory: ${\mathbf{ZFC}}^{-}$ + “the set $\mathcal{P}\left(\omega \right)$ exists” (then ${\omega }_1$ exists as well) + “$\mathbf{V}=\mathbf{L}$”. Note that ${\mathbf{L}}_{2^{\omega }}$ (all sets constructible up to $2^{\omega }$) is a natural model of ${\mathbf{ZFC}}_{\mathcal{P}\left(\omega \right)}^{-}$.

Definition 1

(in $\mathbf{L}$). Suppose that $\alpha <{\omega }_1$ and ${⟨X_{\beta }⟩}_{\beta <\alpha }$ is a sequence of hereditarily countable sets. We let $\mathbf{M}\left({⟨X_{\beta }⟩}_{\beta <\alpha }\right)$ be the least CTM $M\vDash {\mathbf{ZFC}}_{\mathcal{P}\left(\omega \right)}^{-}$, necessarily of the form ${\mathbf{L}}_{\kappa },\kappa <{\omega }_1$, containing ${⟨X_{\beta }⟩}_{\beta <\alpha }$ and such that $\alpha <{\omega }_1^M$ strictly and still all sets $X_{\beta }$, $\beta <\alpha$, are, at most, countable in M.

Definition 2

(in $\mathbf{L}$). If $\alpha <{\omega }_1$, then let $⟨T_{\alpha },c_{\alpha },{\nu }_{\alpha }⟩$ be the αth element of the set $\mathbf{PT}\times \mathbf{FPT}\times {\omega }_1$ in the sense of the Gödel canonical well-ordering of $\mathbf{L}$.

Thus, for any $T\in \mathbf{PT}$ and $c\in \mathbf{FPT}$, there exist uncountably many indices $\alpha <{\omega }_1$ such that $T=T_{\alpha }$ and $c=c_{\alpha }$.

For any ordinal $\lambda \le {\omega }_1$, we let ${\mathbf{J}}_{\lambda }$ (Jensen’s sequences of length $\lambda$) be the set of all sequences ${⟨P_{\alpha }⟩}_{\alpha <\lambda }$, of countable sets $P_{\alpha }\subseteq \mathbf{PT}$, satisfying the following conditions 1°–6°.

1°.

$P_0$ consists of all clopen trees $⌀\ne S\subseteq 2^{<\omega }$, including the full tree $2^{<\omega }$ itself.

2°.

If $\alpha <\lambda$, $T\in P_{\alpha }$, and $S\subseteq T$ is a perfect tree clopen in T, then $S\in P_{\alpha }$.

3°.

If $\alpha <\lambda$ and $S\in P_{<\alpha }={\bigcup }_{\beta <\alpha }{P}_{\beta }$, then there is a tree $T\in P_{\alpha },T\subseteq S$.

4°.

If $\alpha <\lambda$, $T\in P_{\alpha }$, $D\in \mathbf{M}\left({⟨P_{\beta }⟩}_{\beta <\alpha }\right)$, $D\subseteq P_{<\alpha }$ is open dense in $P_{<\alpha }$, then $T{\subseteq }^{\mathrm{fd}}\bigcup D.$

5°.

If $\alpha <{\omega }_1$, $c=c_{\alpha }$, and $S=T_{\alpha }\in P_{<\alpha }$, then there is $T\in P_{\alpha }$ such that $T\subseteq S$ and:

either 

we have ${\mathbb{f}}_c\left(a\right)\notin {\bigcup }_{T^{\prime }\in P_{\alpha }}\left[T^{\prime }\right]$ for all $a\in \left[T\right]$,

    or

 we have ${\mathbb{f}}_c\left(a\right)=a$ for all $a\in \left[T\right]$.

6°.

If $\alpha <{\omega }_1$, $c=c_{\alpha }$, and $S=T_{\alpha }\in P_{<\alpha }$, then there exists $T\in P_{\alpha }$ such that $T\subseteq S$ and the restricted function ${\mathbb{f}}_c\upharpoonright \left[T\right]$ is either a bijection or a constant.

Let ${\mathbf{J}}_{<\lambda }={\bigcup }_{\alpha <{\omega }_1}{\mathbf{J}}_{\alpha }$. (Jensen’s sequences of any countable length).

Lemma 5

(in $\mathbf{L}$). Suppose that $\beta <\lambda \le {\omega }_1$ and ${⟨P_{\alpha }⟩}_{\alpha <\lambda }\in {\mathbf{J}}_{\lambda }$. Then, $P_{\beta }$ is pre-dense in the set $P_{<\lambda }={\bigcup }_{\alpha <\lambda }{P}_{\alpha }$.

Proof. 

First, $P_{\beta }$ is dense in $P_{<\beta +1}$ by $3^{°}$. Now, by induction on $\lambda$, suppose that $P_{\beta }$ is pre-dense in $P_{<\lambda }$. To check that $P_{\beta }$ remains pre-dense in $P_{<\lambda +1}=P_{<\lambda }\cup P_{\lambda }$, consider any tree $T\in P_{\lambda }$. By definition, $P_{\beta }\in \mathbf{M}\left({⟨P_{\beta }⟩}_{\beta <\lambda }\right)$, and hence we have $T{\subseteq }^{\mathrm{fd}}\bigcup P_{\beta }$ by $4^{°}$. (Note that the set $P_{\beta }^{+}=\{S\in P_{<\lambda }:\exists S^{\prime }\in P_{\beta }(S\subseteq S^{\prime })\}$ belongs to $\mathbf{M}\left({⟨P_{\beta }⟩}_{\beta <\lambda }\right)$ and is open dense.) It follows that there exist a tree $S\in P_{\beta }$ and a string $s\in T$ such that $T{\upharpoonright }_s\subseteq S$. Finally, $T^{\prime }=T{\upharpoonright }_s\in P_{\lambda }$ by $2^{°}$, so T is compatible with $S\in P_{\beta }$, as required. □

Lemma 6

(in $\mathbf{L}$). Assume that ${⟨P_{\alpha }⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}$. Then, the forcing $P={\bigcup }_{\alpha <{\omega }_1}{P}_{\alpha }\in \mathbf{L}$ satisfies CCC in $\mathbf{L}$. Therefore the cardinals are preserved in $P$-generic extensions of $\mathbf{L}$.

We recall that CCC, or the countable chain condition, is the claim that every antichain in a given partially ordered set is at most countable.

Proof. 

Arguing in $\mathbf{L}$, suppose that $A\subseteq P$ is a maximal $P$-antichain, that is, a pre-dense set, and, if $S\ne S^{\prime }$ belongs to A, then there is no tree $T\in P$, $T\subseteq S\cap S^{\prime }$. Consider a countable elementary submodel $\mathcal{M}\subseteq {\mathbf{L}}_{{\omega }_2}$ containing A. Let $\phi :\mathcal{M}\stackrel{\mathrm{onto}}{⟶}{\mathbf{L}}_{\gamma }$ be the Mostowski collapse; $\gamma <{\omega }_1$. Let $\alpha =\phi \left({\omega }_1\right)$. Thus, $\mathcal{M}\vDash {\mathbf{ZFC}}_{\mathcal{P}\left(\omega \right)}^{-}$ and $\alpha ={\omega }_1^{\mathcal{M}}$. The set $A^{\prime }=\phi \left(A\right)$ satisfies $A^{\prime }=A\cap P_{<\alpha }$ and is pre-dense in $P_{<\alpha }={\bigcup }_{\beta <\alpha }{P}_{\beta }$. It remains to prove that $A=A^{\prime }.$

Suppose toward the contrary that $T\in A\setminus A^{\prime }=A\setminus P_{<\alpha }$. Then, T is compatible with some $T^{\prime }\in P_{\alpha }$ by Lemma 5; that is, there is a tree $T^{″}\in P$, $T^{″}\subseteq T^{\prime }\cup T$.

On the other hand, $\alpha ={\omega }_1^{{\mathbf{L}}_{\gamma }}$; hence, we have $\mathcal{M}\subseteq \mathbf{M}\left({⟨P_{\beta }⟩}_{\beta <\alpha }\right)$ and $A^{\prime }\in \mathbf{M}\left({⟨P_{\beta }⟩}_{\beta <\alpha }\right)$. It easily follows from $4^{°}$ that $T^{\prime }{\subseteq }^{\mathrm{fd}}{A}^{\prime }$. Then, $T^{″}{\subseteq }^{\mathrm{fd}}{A}^{\prime }$ as well, and hence there exist $s\in T^{″}$ and $S\in A^{\prime }$ such that the tree $U=T^{″}{\upharpoonright }_s$ satisfies $U\subseteq T^{″}\cap S$; therefore, $U\subseteq T\cap S$. However, $U\in P$ by $2^{°}$, and $S\in A^{\prime }$ but $T\in A\setminus A^{\prime }$, contrary to A being a $P$-antichain. □

The following rather obvious lemma demonstrates that the top level of a Jensen sequence of successor length can be freely enlarged by adding smaller trees, with only care of the property $2^{°}$.

Lemma 7

(in $\mathbf{L}$). Suppose that $\lambda =\xi +1<{\omega }_1$ and ${⟨P_{\alpha }⟩}_{\alpha <\lambda }\in {\mathbf{J}}_{\lambda }$, so that $P_{\xi }$ is the last term in this sequence. Let $S\subseteq T$ be trees in $\mathbf{PT}$ and $T\in P_{\xi }$. Let $P_{\xi }^{\prime }$ consist of all trees in $P_{\xi }$ and all trees $S^{\prime }\in \mathbf{PT},S^{\prime }\subseteq S$, clopen in S. Then, the sequence ${⟨P_{\alpha }⟩}_{\alpha <\xi } ̑P_{\xi }^{\prime }$ belongs to ${\mathbf{J}}_{\lambda }$, too.

6. Extension of Jensen’s Sequences

Now, we prove a theorem that shows that Jensen’s sequences of any countable length are extendable to longer sequences in $\mathbf{L}$.

Theorem 3

(in $\mathbf{L}$). Suppose that $\lambda <{\omega }_1$. Then, any sequence ${⟨P_{\alpha }⟩}_{\alpha <\lambda }\in {\mathbf{J}}_{\lambda }$ has an extension ${⟨P_{\alpha }⟩}_{\alpha \le \lambda }\in {\mathbf{J}}_{\lambda +1}$.

Proof. 

We argue in $\mathbf{L}$. Basically, we have to appropriately define the top level $P_{\lambda }$ ($\lambda >0$) of the extended sequence. The definition goes on in four steps.

Step 1: we define a provisional set $P_{\lambda }$ satisfying only requirements $3°$, $4°$. Put ${\mathit{M}}_{\lambda }=\mathbf{M}\left({⟨P_{\beta }⟩}_{\beta <\lambda }\right)$. Fix an arbitrary enumeration $\{D_n:n<\omega \}$ of all sets $D\in {\mathit{M}}_{\lambda }$, $D\subseteq P_{<\lambda }$, open dense in $P_{<\lambda }$, and any enumeration $P_{<\lambda }=\{S^k:k<\omega \}$. For any k, there is a system ${⟨T_s\left(k\right)⟩}_{s\in 2^{<\omega }}$ of trees $T_s\left(k\right)\in P_{<\lambda }$ satisfying the following conditions (i)–(iii):

(i)

If $S=S^k\in P_{<\lambda }$, then $T_{\Lambda }\left(k\right)\subseteq S$;

(ii)

For each k, ${⟨T_s\left(k\right)⟩}_{s\in 2^{<\omega }}$ is a splitting system in the sense of Section 3;

(iii)

If $n\ge 1$ and $s\in 2^n$, then $T_s\left(k\right)\in D_n$.

Indeed, if some $T_s\left(k\right)\in P_{<\lambda }$ is already defined and $n=\mathtt{lh}s$, then the trees $U_0=T_s\left(k\right){\upharpoonright }_0$ and $U_1=T_s\left(k\right){\upharpoonright }_1$ belong to $P_{<\lambda }$ as well, and hence there are trees $T_{s̑0}\subseteq U_0$ and $T_{s̑1}\subseteq U_1$ in $P_{<\lambda }$, which belong to $D_{n+1}$.

It remains to define $P_{\lambda }=\{T^k:k<\omega \}$, where $T^k={\bigcap }_n{\bigcup }_{s\in 2^n}{T}_s\left(k\right)$.

Step 2. We are going to shrink the trees $T^k$ obtained at Step 1 in order to satisfy requirement $5°$. Suppose that $c=c_{\lambda }$ and $S=T_{\lambda }\in P_{<\lambda }$, as in $5°$. (If $S\notin P_{<\alpha }$, then we skip this step.) We may assume that the enumeration ${⟨T^k⟩}_{k<\omega }$ is chosen so that $T^0\subseteq S$. Let $G=f_c$ (a continuous map $2^{\omega }\to {\omega }^{\omega }$). By Lemma 4, there exist perfect trees $U^n\subseteq T^n$ such that either $G\left(a\right)\notin {\bigcup }_n\left[U^n\right]$ for all $a\in \left[U^0\right]$ or $G\left(a\right)=a$ for all $a\in \left[U^0\right]$. The new set $P_{\lambda }=\{U^k:k<\omega \}$ still satisfies $3°$ and $4°$, of course.

Step 3. We shrink the trees $U^k\in \mathbf{PT}$ obtained at Step 2 in order to satisfy 6°. This is similar to Step 2, with the only difference being that we apply Lemma 1 instead of Lemma 4.

Step 4. If $V^k\in \mathbf{PT}$ is one of the trees in $P_{\lambda }$ obtained at Step 3, then we adjoin all trees $⌀\ne S\subseteq V^k$ clopen in $V^k$ to $P_{\lambda }$ in order to satisfy 2°. □

7. Definable Jensen’s Sequence

Each of the conditions $4°$, $5°$, $6°$ (Section 5) will have its own role. Namely, $4°$ implies CCC and continuous reading of names (Lemma 10) and 5° is responsible for the generic uniqueness of $a_G$ as in Lemma 11, while $6°$ yields the minimality of $a_G$. However, to obtain the required type of definability of $\mathbb{J}$-generic reals in the extensions, we need to take care of the appropriate definability of a Jensen’s sequence in $\mathbf{L}$.

Definition 3.

Recall that HC is the collection of all hereditarily countable sets.

${\mathit{\Sigma }}_n^{\mathrm{HC}}$

= all sets $X\subseteq \mathrm{HC}$, definable in HC by a parameter-free ${\mathit{\Sigma }}_n$ formula.

${\mathbf{\Sigma }}_n\left(\mathrm{HC}\right)$

= all $X\subseteq \mathrm{HC}$ definable in HC by a ${\mathit{\Sigma }}_n$ formula with sets in HC as parameters.

Collections ${\mathit{\Pi }}_n^{\mathrm{HC}},{\Delta }_n\left(\mathrm{HC}\right)$, etc.are defined similarly. Something like ${\mathit{\Sigma }}_n^{\mathrm{HC}}\left(x\right),x\in \mathrm{HC}$ means that only x is admitted as a parameter. It is known that $\mathrm{HC}={\mathbf{L}}_{{\omega }_1}$ under $\mathbf{V}=\mathbf{L}$, and that ${\mathit{\Sigma }}_n^{\mathrm{HC}},{\mathit{\Pi }}_n^{\mathrm{HC}},{\Delta }_n^{\mathrm{HC}}$ is the same as ${\mathit{\Sigma }}_{n+1}^1,{\mathit{\Pi }}_{n+1}^1,{\Delta }_{n+1}^1$ for reals and sets of reals, modulo any appropriate coding, and the same with parameters.

Lemma 8

(in $\mathbf{L}$). The set $\{⟨\alpha ,\mathit{p}⟩:\alpha <{\omega }_1\wedge \mathit{p}\in {\mathbf{J}}_{\alpha }\}$ is ${\Delta }_1^{\mathrm{HC}}$.

Proof. 

Suppose that $J={⟨P_{\beta }⟩}_{\beta <\alpha }$ is a sequence (of any kind) of length $\lambda <{\omega }_1$, $\vartheta <{\omega }_1$, the set ${\mathbf{L}}_{\vartheta }$ contains J and is a model of ${\mathbf{ZFC}}^{-}$, and, for every $\alpha <\lambda$, the model ${\mathit{M}}_{\alpha }=\mathbf{M}\left({⟨P_{\beta }⟩}_{\beta <\alpha }\right)$ (defined in Definition 1) also belongs to ${\mathbf{L}}_{\vartheta }$. Then, the property of J being a Jensen sequence is absolute for ${\mathbf{L}}_{\vartheta }$. This yields a ${\mathit{\Sigma }}_1$ definition for the statement “J is a Jensen sequence” in the form: there is such-and-such ordinal $\vartheta$ such that $J\in {\mathbf{L}}_{\vartheta }$ and “J is a Jensen sequence” holds in ${\mathbf{L}}_{\vartheta }$. □

Corollary 1

(in $\mathbf{L}$). There exists a ${\Delta }_1^{\mathrm{HC}}$ sequence $\mathit{p}={⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}$.

Proof. 

For every $\alpha ,$ we define, by transfinite induction, ${\mathbb{J}}_{\alpha }$ to be the least set, in the sense of the Gödel ${\Delta }_1$ well-ordering of $\mathbf{L}$, such that ${⟨{\mathbb{P}}_{\beta }⟩}_{\beta \le \alpha }\in {\mathbf{J}}_{\alpha +1}$. To establish the definability type ${\Delta }_1^{\mathrm{HC}}$ of the sequence obtained, use Lemma 8. □

8. Adding One Jensen Real: Theorem 1, Case $\mathbb{n}=\mathbf{2}$

Here, we prove the case $n=2$ of Theorem 1.

Definition 4.

By Corollary 1, fix a sequence ${⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1^{\mathbf{L}}}\in \mathbf{L}$ such that it is true in $\mathbf{L}$ that

(1) 

${⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}$—will be used in Lemmas 9, 10, 11 and Corollary 2; and

(2) 

${⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}$ is a ${\Delta }_1^{\mathrm{HC}}$ sequence—will be used only in Corollary 2.

 Put $\mathbb{P}={\bigcup }_{\alpha <{\omega }_1}{\mathbb{P}}_{\alpha }$.

Consider such a set $\mathbb{P}\subseteq \mathbf{PT}$ as a forcing notion over $\mathbf{L}$, the ground universe. It is ordered so that $S\subseteq T$ means that S is stronger as a forcing condition. Thus, $\mathbb{P}$, Jensen’s forcing of [3] (see also [21], 28.A), consists of (some, not all) perfect trees by construction.

Lemma 9.

If $G\subseteq \mathbb{P}$ is a $\mathbb{P}$-generic set over $\mathbf{L}$, then the intersection ${\bigcap }_{T\in G}\left[T\right]$ is a singleton $\left\{a_G\right\},a_G\in 2^{\omega }$, and $G=\{T\in \mathbb{P}:a_G\in T\}$; hence, $\mathbf{L}\left[a_G\right]=\mathbf{L}\left[G\right]$.

Proof. 

Make use of 2° of Section 5. □

Reals $a_G$, $G\subseteq \mathbb{P}$ being a $\mathbb{P}$-generic set over $\mathbf{L}$, are called $\mathbb{P}$-generic over$\mathbf{L}$. The next lemma provides a useful tool of representation for reals in $\mathbb{P}$-generic extensions.

Lemma 10

(continuous reading of names). Suppose that $G\subseteq \mathbb{P}$ is $\mathbb{P}$-generic over $\mathbf{L}$. Let $x\in \mathbf{L}\left[G\right]\cap {\omega }^{\omega }$. There exists $c\in \mathbf{L}\cap \mathbf{FPT}$ such that $x={\mathbb{f}}_c\left(a_G\right)$.

Proof. 

Let $T_0\in \mathbb{P}$. Let $\stackrel{•}{x}$ be a name for x in the forcing language; then, every $T\in \mathbb{P}$ forces

$$\stackrel{•}{x}\in {\omega }^{\omega },\hspace{1em}and\hspace{1em}x\left(k\right)=l⟺\exists T\in G(T{\left|\right|--}_{\mathbb{P}}\stackrel{•}{x}\left(k\right)=l).$$

We argue in $\mathbf{L}$. Let $D_{kl}=\{T\in \mathbb{P}:T{\left|\right|--}_{\mathbb{P}}\stackrel{•}{x}\left(k\right)=l\}$. Each set $D_k={\bigcup }_{l\in \omega }{D}_{kl}$ is dense in $\mathbb{P}.$ Let $A_k\subseteq D_k$ be a maximal $\mathbb{P}$-antichain. Then, every $A_k=\{T_k^m:m<\omega \}$ is countable by Lemma 6; hence, there is an ordinal $\alpha <{\omega }_1$ such that $T_0\in {\mathbb{P}}_{<\alpha }$, and, for each k, $A_k\subseteq {\mathbb{P}}_{<\alpha }$, and the set $D_k\left(\alpha \right)=D_k\cap {\mathbb{P}}_{<\alpha }$ belongs to $\mathbf{M}\left({⟨{\mathbb{P}}_{\beta }⟩}_{\beta <\alpha }\right)$. Note that $D_k\left(\alpha \right)$ is dense in ${\mathbb{P}}_{<\alpha }$ by the maximality of $A_k$.

By $3°$ of Section 5, there exists $T\in {\mathbb{P}}_{\alpha },T\subseteq T_0$. By $4°$, we have $T{\subseteq }^{\mathrm{fd}}\bigcup D_k\left(\alpha \right)$ for every k, so that there are finite sets $D_k^{\prime }\subseteq D_k\left(\alpha \right)$ such that $T\subseteq \bigcup D_k^{\prime }$ and, if $S\ne S^{\prime }$ belongs to the same set $D_k^{\prime }$, then $\left[S\right]\cap \left[S^{\prime }\right]=⌀$.

Put $D_{kl}^{\prime }=D_k^{\prime }\cap D_{kl}$. For any k, there is a finite set of values l such that $D_{kl}^{\prime }\ne ⌀$. Thus, a continuous function $F^{\prime }:\left[T\right]\to {\omega }^{\omega }$ can be defined in $\mathbf{L}$ as follows: $F^{\prime }\left(x\right)\left(k\right)=l$ iff $x\in \left[T\right]$ for some $T\in D_{kl}^{\prime }$. Let $F:2^{\omega }\to {\omega }^{\omega }$ be a continuous extension of $F^{\prime }$; $F={\mathbb{f}}_c$ for some $c\in \mathbf{FPT}\cap \mathbf{L}$. Then, T forces $\stackrel{•}{x}={\mathbb{f}}_c\left(\stackrel{•}{a}\right)$, where $\stackrel{•}{a}$ is the canonical name for $a_G$. □

Lemma 11.

If $G\subseteq \mathbb{P}$ is a $\mathbb{P}$-generic set over $\mathbf{L}$, then $a=a_G$ is the only element of the set ${\bigcap }_{\alpha <{\omega }_1}{\bigcup }_{T\in {\mathbb{P}}_{\alpha }}\left[T\right]$ in $\mathbf{L}\left[G\right]$. Moreover, $a_G$ is minimal over $\mathbf{L}$.

Proof. 

If $\alpha <{\omega }_1$, then the real $a=a_G$ belongs to ${\bigcup }_{T\in {\mathbb{P}}_{\alpha }}\left[T\right]$ since all sets ${\mathbb{P}}_{\alpha }$ are pre-dense by Lemma 5. To prove the opposite direction, consider any $S\in \mathbb{P}$ and $b\in 2^{\omega }\cap \mathbf{L}\left[G\right]$. By Lemma 10, there exists $c\in \mathbf{L}\cap \mathbf{FPT}$ such that $b={\mathbb{f}}_c\left(a_G\right)$. There is an ordinal $\alpha <{\omega }_1$ in $\mathbf{L}$ such that $T=T_{\alpha }$ and $c=c_{\alpha }$. Let $T\in {\mathbb{P}}_{\alpha }$ witness $5°$. In the “either” case of $5°$, T obviously forces that ${\mathbb{f}}_c\left(a_G\right)\notin {\bigcup }_{T^{\prime }\in {\mathbb{P}}_{\alpha }}\left[T^{\prime }\right]$, while, in the “or” case, T forces ${\mathbb{f}}_c\left(a_G\right)=a_G$.

To prove the minimality, consider any real $b\in 2^{\omega }\cap \mathbf{L}\left[a_G\right]$. By Lemma 10, we have $b={\mathbb{f}}_c\left(a_G\right)$, where $c\in \mathbf{FPT}\cap \mathbf{L}$. It follows from 6° that there exists $T\in G$ such that ${\mathbb{f}}_c\upharpoonright \left[T\right]$ is either a bijection or a constant. If ${\mathbb{f}}_c\upharpoonright \left[T\right]$ is a bijection, then $a_G\in \mathbf{L}\left[x\right]$ by means of the inverse map. If ${\mathbb{f}}_c\upharpoonright \left[T\right]$ is a constant z, say ${\mathbb{f}}_c\left(x\right)=z$ for all $x\in \left[T\right]$ in $\mathbf{L}$, then obviously $b={\mathbb{f}}_c\left(a_G\right)=z\in \mathbf{L}$. □

Corollary 2

(= Theorem 1, case $\mathbb{n}=2$). Assume that $G\subseteq \mathbb{P}$ is $\mathbb{P}$-generic over $\mathbf{L}$. Then, $\mathbf{L}\left[G\right]$ satisfies Theorem 1 for $\mathbb{n}=2$.

Proof. 

Lemma 11 implies that $\left\{a_G\right\}\in {\mathit{\Pi }}_1^{\mathrm{HC}}$; hence, $\in {\mathit{\Pi }}_2^1,$ in $\mathbf{L}\left[G\right]=\mathbf{L}\left[a_G\right]$. Thus $a_G\in {\Delta }_3^1$ in $\mathbf{L}\left[a_G\right]$, as required by (i) of Theorem 1. The minimality claim (iii) follows from Lemma 11, whereas the equality $\mathbf{V}=\mathbf{L}\left[a_G\right]$ of (ii) of Theorem 1 in $\mathbf{L}\left[G\right]$ is implied by Lemma 9. Finally, (iv) holds since all ${\mathit{\Sigma }}_2^1$ sets $x\subseteq \omega$ are constructible by Shoenfield’s absoluteness. □

9. Warmup: Definable Generic Forcing Construction

To solve the general case of Theorem 1, we employ one more idea. Jensen’s ${\omega }_1$-sequence ${⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}$ as in 4 can be seen as an ${\omega }_1$-branch of type ${\Delta }_1^{\mathrm{HC}}$ through the set ${\mathbf{J}}_{<{\omega }_1}$ of all countable (transfinite) sequences satisfying conditions 1°–6° above.

The idea behind the general case $\mathbb{n}\ge 3$ is to maintain the choice of ${\mathbb{P}}_{\alpha }$ in such a way that the final ${\omega }_1$-long sequence of (countable sets of trees) ${\mathbb{P}}_{\alpha }$ intersects all suitably definable (depends on $\mathbb{n}$!) “dense” sets. In this way, we will obtain a version of Jensen’s forcing that allows us to prove Theorem 1. The main cog in this construction is that, because of the “definable genericity”, the resulting set $\mathbb{P}={\bigcup }_{\alpha <\omega }{\mathbb{P}}_{\alpha }$ resolves every boldface ${\mathbf{\Sigma }}_{\mathbb{n}-1}^1$ set D of perfect trees, in the sense that either it contains a tree in D or it contains a tree non-extendable to a tree in D. This makes $\mathbb{P}$ similar to the Sacks forcing up to level $\mathbb{n}$, leading to claim (iv) of Theorem 1 because of the homogeneity of the Sacks forcing.

Such a definably generic forcing construction was applied to great effect by Harrington [23] with the almost disjoint forcing. We will overview some new results in this direction in the Section 19.

Now, let us present the definably generic forcing construction in detail.

10. Complete Sequences and Forcing Notions

Approaching the general case of Theorem 1, we begin with a few definitions.

Definition 5.

Let $P=⟨P;\preccurlyeq ⟩$ be a partially ordered set. For any $D\subseteq P$, let $D^{\mathrm{solv}}=D_P^{\mathrm{solv}}$ be the set of all $p\in P$ that solve D in the sensethat either $p\in D$ or there are no elements $q\in D,\left[0\right]q\preccurlyeq p$.

Recall Definition 3 on the definability types like ${\mathbf{\Sigma }}_n\left(\mathrm{HC}\right)$ and ${\mathit{\Sigma }}_n^{\mathrm{HC}}$.

Definition 6

(in $\mathbf{L}$). Suppose that $n\ge 3$. A sequence ${⟨P_{\alpha }⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}$ is $n$-complete if, for any ${\mathbf{\Sigma }}_{n-2}\left(\mathrm{HC}\right)$ set $D\subseteq {\mathbf{J}}_{<{\omega }_1}$, there is $\gamma <{\omega }_1$ such that ${⟨P_{\alpha }⟩}_{\alpha <\gamma }\in D^{\mathrm{solv}}$—meaning that either ${⟨P_{\alpha }⟩}_{\alpha <\gamma }\in D$ or there is no sequence in D extending ${⟨P_{\alpha }⟩}_{\alpha <\gamma }$.

A set $P\subseteq \mathbf{PT}$ of perfect trees is $n$-complete if, for any ${\mathbf{\Sigma }}_{n-2}\left(\mathrm{HC}\right)$ set $W\subseteq \mathbf{PT}$, the set $W^{\mathrm{solv}}\cap P=\{S\in P:S\in W\vee \neg \exists T\in W(T\subseteq S)\}$ is dense in P.

Thus, n-completeness is a property of “generic” nature, where genericity is related to a family of sets distinguished by a definability property.

Lemma 12

(in $\mathbf{L}$). If a sequence ${⟨P_{\alpha }⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}$ is $n$-complete, then ${\bigcup }_{\alpha <{\omega }_1}{P}_{\alpha }$ is $n$-complete.

Proof. 

Suppose that $W\subseteq \mathbf{PT}$ is a ${\mathbf{\Sigma }}_{n-2}\left(\mathrm{HC}\right)$ set, and $S\in P={\bigcup }_{\alpha <{\omega }_1}{P}_{\alpha }$; that is, $S\in P_{\vartheta }$ for some $\vartheta <{\omega }_1$. We prove that there is $T\in W^{\mathrm{solv}}\cap P$ such that $T\subseteq S$. The set D of all sequences ${⟨P_{\alpha }^{\prime }⟩}_{\alpha <\lambda }\in {\mathbf{J}}_{<{\omega }_1},\lambda <{\omega }_1$, such that there exists $T\in {\bigcup }_{\alpha <\lambda }{P}_{\alpha }^{\prime }\cap W,T\subseteq S$, is ${\mathbf{\Sigma }}_{n-2}\left(\mathrm{HC}\right)$. It follows that ${⟨P_{\alpha }⟩}_{\alpha <\lambda }\in D^{\mathrm{solv}}$ for some $\lambda <{\omega }_1$, i.e., either ${⟨P_{\alpha }⟩}_{\alpha <\lambda }\in D$, or there is no sequence in D that extends ${⟨P_{\alpha }⟩}_{\alpha <\lambda }$.

If ${⟨P_{\alpha }⟩}_{\alpha <\lambda }\in D$, then, by definition, there is a tree $T\in P\cap W$ with $T\subseteq S$, as required.

Suppose that ${⟨P_{\alpha }⟩}_{\alpha <\lambda }$ is not extendable to a sequence in D, and denote $\xi =max\{\lambda ,\vartheta +1\}$. Then, the extended sequence $\mathit{p}={⟨P_{\alpha }⟩}_{\alpha \le \xi }$ is not extendable to a sequence in D because ${⟨P_{\alpha }⟩}_{\alpha <\lambda }$ is not extendable. By 3°, there is a tree $T\in P_{\xi }$, $T\subseteq S$. We claim that $T\in W^{\mathrm{solv}}$.

Suppose, to the contrary, that $T\notin W$ and there is $T^{\prime }\in W$ such that $T^{\prime }\subseteq T$. Then, by Lemma 7, there is a set $P_{\xi }^{\prime }\subseteq \mathbf{PT}$ containing $T^{\prime }$ and such that ${\mathit{p}}^{\prime }=\mathit{p}̑P_{\xi }^{\prime }$ is still a sequence in ${\mathbf{J}}_{\xi +1}$ extending $\mathit{p}$, and ${\mathit{p}}^{\prime }\in D$ by the choice of $T^{\prime }$. But, this contradicts the non-extendability of $\mathit{p}$, and therefore $T\in W^{\mathrm{solv}}$. □

Lemma 13

(in $\mathbf{L}$). If $n\ge 3$, then there exists an $n$-complete ${\Delta }_{n-1}^{\mathrm{HC}}$ sequence ${⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}.$

Proof. 

Let $U\subseteq \mathrm{HC}\times \mathrm{HC}$ be a universal ${\mathit{\Sigma }}_{n-2}^{\mathrm{HC}}$ set. That is, U itself is ${\mathit{\Sigma }}_{n-2}^{\mathrm{HC}}$, and if $X\subseteq \mathrm{HC}$ is a (boldface) ${\mathbf{\Sigma }}_{n-2}\left(\mathrm{HC}\right)$ set, then there is a parameter $p\in \mathrm{HC}$ such that $X=U_p:=\{x\in \mathrm{HC}:⟨p,x⟩\in U\}$. As we argue in $\mathbf{L}$, for any $\alpha <{\omega }_1$, let $p_{\alpha }$ be the $\alpha$th element of $\mathrm{HC}={\mathbf{L}}_{{\omega }_1}$ in the sense of Gödel’s ${\Delta }_1^{\mathrm{HC}}$ well-ordering of $\mathrm{HC}={\mathbf{L}}_{{\omega }_1}$. Then, $\mathrm{HC}=\{p_{\alpha }:\alpha <{\omega }_1\}$ and the sequence ${⟨p_{\alpha }⟩}_{\alpha <{\omega }_1}$ is ${\mathit{\Sigma }}_1^{\mathrm{HC}}$.

To prove the lemma, we define a strictly $\subset$-increasing sequence ${⟨\mathit{j}\left[\alpha \right]⟩}_{\alpha <{\omega }_1}$ of sequences $\mathit{j}\left[\alpha \right]\in {\mathbf{J}}_{<{\omega }_1}$ as follows. Let $\mathit{j}\left[0\right]$ be the empty sequence.

Let $\mathit{j}\left[\lambda \right]={\bigcup }_{\alpha <\lambda }\mathit{j}\left[\alpha \right]$ whenever $\lambda <{\omega }_1$ is a limit.

For every $\alpha$, if $\mathit{j}\left[\alpha \right]\in {\mathbf{J}}_{<{\omega }_1}$ is defined, then let $\mathit{j}[\alpha +1]$ be the Gödel-least sequence $\mathit{j}\in {\mathbf{J}}_{<{\omega }_1}$ such that $\mathit{j}\left[\alpha \right]\subseteq \mathit{j}$ and $\mathit{j}\in {U_{p_{\alpha }}}^{\mathrm{solv}}$.

The limit sequence ${⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}={\bigcup }_{\alpha <{\omega }_1}\mathit{j}\left[\alpha \right]\in {\mathbf{J}}_{{\omega }_1}$ is n-complete by construction, and, by an easy estimation, based on the assumption that U is ${\mathit{\Sigma }}_{n-2}^{\mathrm{HC}}$, it belongs to ${\Delta }_{n-1}^{\mathrm{HC}}$. □

The next theorem is the conclusive step in the proof of Theorem 1.

Theorem 4

(in $\mathbf{L}$). Assume that $\mathbb{n}\ge 3$, ${⟨{\mathbb{P}}_{\alpha }\left(\mathbb{n}\right)⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}$ is an $\mathbb{n}$- complete ${\Delta }_{\mathbb{n}-1}^{\mathrm{HC}}$ sequence (Lemma 13), and $\mathbb{P}\left(\mathbb{n}\right)={\bigcup }_{\alpha <{\omega }_1}{\mathbb{P}}_{\alpha }\left(\mathbb{n}\right)$. Then, $\mathbb{P}\left(\mathbb{n}\right)$-generic extensions of $\mathbf{L}$ prove Theorem 1.

Its proof will be accomplished in Section 13. A few remarks follow before the proof starts.

Lemma 11 implies that if $G\subseteq \mathbb{P}\left(\mathbb{n}\right)$ is $\mathbb{P}\left(\mathbb{n}\right)$-generic over $\mathbf{L}$, then the corresponding real $a_G$ is minimal. It also follows from the same lemma and the fact that the sequence ${⟨{\mathbb{P}}_{\alpha }\left(\mathbb{n}\right)⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}$ is ${\Delta }_{\mathbb{n}-1}^{\mathrm{HC}}$ in $\mathbf{L}$ that the singleton $\left\{a_G\right\}$ is ${\mathit{\Pi }}_{\mathbb{n}}^1$ and hence $a_G$ is ${\Delta }_{\mathbb{n}+1}^1$ in $\mathbf{L}\left[G\right]$. It is a more difficult problem to prove the remaining claim of Theorem 1, that is, that any ${\mathit{\Sigma }}_n^1$ set $x\subseteq \omega$ in $\mathbf{L}\left[G\right]$ is constructible. We will establish this fact in the remainder; the result will be based on the $n$-completeness property and on some intermediate claims.

11. Digression: Definability of the Sacks Forcing

Our next goal is to estimate the definability of the Sacks forcing relation, restricted to formulas of a certain ramified version of the second-order Peano language.

Definition 7.

Let $\mathcal{L}$ be the ordinary language of the second-order Peano arithmetic, with variables of type 1 for functions in ${\omega }^{\omega }$. Extend this language so that some type 1 variables can be substituted by symbols of the form $\widehat{c},c\in \mathbf{FPT}$, and each $\widehat{c}$ is viewed as a name for ${\mathbb{f}}_c\left(a\right)$, where a means a generic real of any kind. (Recall that ${\mathbb{f}}_c:2^{\omega }\to {\omega }^{\omega }$ is a continuous map coded by $c\in \mathbf{FPT}$.) Let ${}^S\mathcal{L}$ be the extended language; the index s is from Sacks.Accordingly, ${}^S\mathit{\Sigma }_n^1$ and ${}^S\mathit{\Pi }_n^1$ will denote the standard types of formulas of ${}^S\mathcal{L}$.

If $a\in 2^{\omega }$ and φ is a formula of ${}^S\mathcal{L}$, then $\phi \left[a\right]$ is the result of the substitution of ${\mathbb{f}}_c\left(a\right)$ for any name $\widehat{c}$ in φ; $\phi \left[a\right]$ is a formula of $\mathcal{L}$ with real parameters.

Definition 8.

Let $\left|\right|--$ be the Sacks forcing relation (that is, $\mathbf{PT}$ is the forcing notion). Define an auxiliary relation of “strong” forcing $\mathtt{forc}$, restricted to ${}^S\mathit{\Sigma }_k^1$ formulas, $k\ge 1$, generally, to all existential formulas of ${}^S\mathcal{L}$, as follows:

(*)

If $\phi \left(x\right)$ is a formula of ${}^S\mathcal{L}$ with the only free variable x (over ${\omega }^{\omega }$), and $T\in \mathbf{PT}$, then $T\mathtt{forc}\exists x\phi \left(x\right)$ if there exists $c\in \mathbf{FPT}$ such that $T\left|\right|--\phi \left(\widehat{c}\right)$.

But, if φ is a ${}^S\mathit{\Pi }_k^1$ formula, then we define: $T\mathtt{forc}\phi$ iff $T\left|\right|--\phi$.

It is a known property of the Sacks forcing that any real x in the $\mathbf{PT}$- generic extension $\mathbf{V}\left[G\right]$ of the universe $\mathbf{V}$ has the form $x={\mathbb{f}}_c\left(a_G\right)$, where $c\in \mathbf{FPT}\cap \mathbf{V}$; see, e.g., [24]. Therefore, the forcing relation $\mathtt{forc}$ as in Definition 8 is still adequate. In particular, the following lemma holds:

Lemma 14.

Suppose that φ is a closed formula in ${}^S\mathit{\Pi }_k^1$, $k\ge 1$, and $T\in \mathbf{PT}$. Then, $T\mathtt{forc}\phi$ iff there is no $S\in \mathbf{PT},S\subseteq T$, such that $S\mathtt{forc}{\phi }^{\neg }$.

Here, ${\phi }^{\neg }$ is the result of the canonical transformation of $\neg \phi$ to a ${}^S\mathit{\Sigma }_k^1$ form.

Now, let us address the descriptive complexity of $\mathtt{forc}$.

Lemma 15.

The relation $\mathtt{forc}$ restricted to ${}^S\mathit{\Pi }_1^1$ formulas is ${\mathit{\Pi }}_1^{\mathrm{HC}}$. If $k\ge 2$, then the relation $\mathtt{forc}$ restricted to ${}^S\mathit{\Sigma }_k^1$ formulas is ${\mathit{\Sigma }}_{k-1}^{\mathrm{HC}}$ while $\mathtt{forc}$ restricted to ${}^S\mathit{\Pi }_k^1$ formulas is ${\mathit{\Pi }}_{k-1}^{\mathrm{HC}}$.

Proof. 

We argue by induction. Suppose that $\phi =\phi ({\widehat{c}}_1,\dots ,{\widehat{c}}_m)$ is a closed formula in ${}^S\mathit{\Pi }_1^1$. It follows from the Shoenfield absoluteness and the perfect set theorem for ${\mathbf{\Sigma }}_1^1$ sets that, for any $T\in \mathbf{PT}$, $T\mathtt{forc}\phi$ is equivalent to the set $T_{\phi }=\{a\in \left[T\right]:\neg \phi \left[a\right]\}$ being countable, and then to

$$\forall a\in \left[T\right](\phi \left[a\right]\vee a\in {\Delta }_1^1(c_1,\dots ,c_m))$$

as any countable ${\mathit{\Sigma }}_1^1\left(c\right)$ set $X\subseteq {\omega }^{\omega }$ consists of elements of type ${\Delta }_1^1\left(c\right)$. Yet, the displayed formula is ${\mathit{\Pi }}_1^1$, hence ${\Delta }_1^{\mathrm{HC}}$, as $x\in {\Delta }_1^1\left(c\right)$ is a ${\mathit{\Pi }}_1^1$ relation.

The step ${\mathit{\Pi }}_k^1\to {\mathit{\Sigma }}_{k+1}^1$: make use of Definition 8(∗).

Now, the step ${\mathit{\Sigma }}_k^1\to {\mathit{\Pi }}_k^1$. Suppose that $k\ge 2$, $\phi$ is a closed formula in ${}^S\mathit{\Sigma }_k^1$, and $T\in \mathbf{PT}$. Then, by Lemma 14, $T\mathtt{forc}\phi$ is equivalent to

$$\forall S\in \mathbf{PT}(S\subseteq T⟹\neg S\mathtt{forc}{\phi }^{\neg }),$$

and hence we obtain ${\mathit{\Pi }}_k^1$ using the inductive hypothesis for ${\phi }^{\neg }$. □

12. Back to the $\mathbb{n}$-Complete Jensen’s Forcing

Let $\mathbb{n}$ and $\mathbb{P}\left(\mathbb{n}\right)$ be the same as in Theorem 4. We begin with the following.

Lemma 16

(in $\mathbf{L}$). For any closed formula φ in ${}^S\mathit{\Sigma }_k^1,1\le k\le n-1$, the set of all $T\in \mathbb{P}\left(\mathbb{n}\right)$ such that $T\mathtt{forc}\phi$ or $T\mathtt{forc}{\phi }^{\neg }$ is dense in $\mathbb{P}\left(\mathbb{n}\right)$.

Proof. 

The set $W=\left\{T\in \mathbf{PT}:T\mathtt{forc}\phi \right\}$ is ${\mathit{\Sigma }}_{n-2}^{\mathrm{HC}}$ by Lemma 15. Therefore, the set $\mathbb{P}\left(\mathbb{n}\right)\cap W^{\mathrm{solv}}$ is dense in $\mathbb{P}\left(\mathbb{n}\right)$ by Lemma 12. However, it follows from Lemma 14 that $W^{\mathrm{solv}}$ is equal to the set of all $T\in \mathbf{PT}$ such that $T\mathtt{forc}\phi$ or $T\mathtt{forc}{\phi }^{\neg }$. □

It is a basic fact of forcing theory that the truth in generic extensions is, in a certain way, connected with the forcing relation. Thus, the truth in $\mathbb{P}\left(\mathbb{n}\right)$-generic extensions $\mathbf{L}\left[G\right]$ of $\mathbf{L}$ corresponds to the $\mathbb{P}\left(\mathbb{n}\right)$-forcing relation. However—and this is the key moment—the following theorem shows that the truth in $\mathbb{P}\left(\mathbb{n}\right)$-generic extensions is also in tight connection with $\mathbf{PT}$, the Sacks forcing notion, up to the level ${\mathit{\Sigma }}_{\mathbb{n}}^1$. This is a consequence of $\mathbb{n}$- completeness, of course: in some sense, the $\mathbb{n}$- completeness means that $\mathbb{P}\left(\mathbb{n}\right)$ is an elementary submodel of $\mathbf{PT}$ with respect to formulas of a certain level of complexity.

Theorem 5.

Let $\mathbb{n}$and $\mathbb{P}\left(\mathbb{n}\right)$ be the same as in Theorem 4. Suppose that $\Phi$ is a closed formula in ${}^S\mathit{\Sigma }_k^1,1\le k⩽\mathbb{n}$, or ${}^S\mathit{\Pi }_k^1,1\le k<\mathbb{n}$, and a set $G\subseteq \mathbb{P}\left(\mathbb{n}\right)$ is $\mathbb{P}\left(\mathbb{n}\right)$-generic over $\mathbf{L}$. Then, $\Phi \left[a_G\right]$ holds in $\mathbf{L}\left[G\right]$ if there is $T\in G$ such that $T\mathtt{forc}\Phi$.

Proof. 

We argue by induction on k. Let $\Phi$ be a closed ${}^S\mathit{\Pi }_1^1$ formula. If $T\in G$ and $T\mathtt{forc}\Phi$, then, in $\mathbf{L}$, $\Phi \left[a\right]$ is true for all $a\in \left[T\right]$ with, at most, a countable set of exceptions; see the proof of Lemma 15. And, all exceptions are ${\Delta }_1^1$, hence absolutely defined and belong to $\mathbf{L}$. Therefore, the generic real $a_G\in \left[T\right]$ cannot be an exception, thus $\Phi \left[a_G\right]$ holds in $\mathbf{L}\left[G\right]$. If $\Phi$ is ${}^S\mathit{\Sigma }_1^1$, then $\Phi$ is $\exists x\phi \left(x\right)$, $\phi$ being ${}^S\mathit{\Pi }_0^1$, and if $T\mathtt{forc}\Phi$, then, by definition, $T\mathtt{forc}\phi \left(\widehat{c}\right)$ for some $c\in \mathbf{FPT}$, and so on. On the other hand, it follows from Lemma 16 that there is $T\in G$ such that $T\mathtt{forc}\Phi$ or $T\mathtt{forc}{\Phi }^{\neg }$. This easily implies the result for ${}^S\mathit{\Sigma }_1^1\cup {}^S\mathit{\Pi }_1^1$.

Step ${}^S\mathit{\Sigma }_k^1\to {}^S\mathit{\Pi }_k^1,2\le k<\mathbb{n}$. Let $\Phi$ be a ${}^S\mathit{\Pi }_k^1$ formula. Suppose that $\Phi \left[a_G\right]$ fails in $\mathbf{L}\left[a_G\right]$. Then, ${\Phi }^{\neg }\left[a_G\right]$ holds in $\mathbf{L}\left[a_G\right]$, and hence, by the inductive hypothesis, there is a condition $S\in G$ satisfying $S\mathtt{forc}{\Phi }^{\neg }$. Then, by Lemma 14, there is no $T\in G$ with $T\mathtt{forc}\Phi$. Conversely, suppose that there is no $T\in G$ with $T\mathtt{forc}\Phi$. Then, by Lemma 16, there is a condition $S\in G$ satisfying $S\mathtt{forc}{\Phi }^{\neg }$. It follows that ${\Phi }^{\neg }\left[a_G\right]$ holds in $\mathbf{L}\left[a_G\right]$, and, subsequently, $\Phi \left[a_G\right]$ fails, as required.

Step ${}^S\mathit{\Pi }_k^1\to {}^S\mathit{\Sigma }_{k+1}^1,1\le k<\mathbb{n}$. Thus, let $\Phi$ be a formula $\exists x\phi \left(x\right)$, where $\phi$ is ${\mathit{\Pi }}_k^1$. Assume that $T\in G$ satisfies $T\mathtt{forc}\Phi$. This entails, by (∗) of Definition 8, that $T\mathtt{forc}\phi \left(\widehat{c}\right)$ for some $c\in \mathbf{FPT}\cap \mathbf{L}$, a code of the continuous map ${\mathbb{f}}_c:2^{\omega }\to {\omega }^{\omega }$. Apply the induction hypothesis to the formula $\phi \left(\widehat{c}\right)$: it says that $\phi \left(\widehat{c}\right)\left[a_G\right]$ holds in $\mathbf{L}\left[G\right]$. But, $\phi \left(\widehat{c}\right)\left[a_G\right]$ is $\phi \left[a_G\right]\left(x\right)$, where $x={\mathbb{f}}_c\left(a_G\right)\in {\omega }^{\omega }\cap \mathbf{L}\left[G\right]$. Therefore, $\Phi \left[a_G\right]$ holds in $\mathbf{L}\left[G\right]$, as required.

In the opposite direction, let $\Phi \left[a_G\right]$ be true in $\mathbf{L}\left[G\right]$; that is, $\phi \left[a_G\right]\left(x\right)$ holds for some $x\in {\omega }^{\omega }\cap \mathbf{L}\left[G\right]$. By Lemma 10, there is $c\in \mathbf{FPT}\cap \mathbf{L}$ such that $x={\mathbb{f}}_c\left(a_G\right)$. The formula $\phi \left(\widehat{c}\right)\left[a_G\right]$ coincides with $\phi \left[a_G\right]\left(x\right)$ and hence holds in $\mathbf{L}\left[G\right]$. Therefore, by the induction hypothesis, there is $T\in G$ such that $T\mathtt{forc}\phi \left(\widehat{c}\right)$. But, then, $T\mathtt{forc}\Phi$ by (∗) of Definition 8, as required. □

13. Proof of Theorem 1: General Case

Here, we accomplish the proof of Theorems 4 and 1. We fix $\mathbb{n}\ge 3$.

Let $\mathbb{P}\left(\mathbb{n}\right)\in \mathbf{L}$ be the same as in Theorem 4. If a set $G\subseteq \mathbb{P}\left(\mathbb{n}\right)$ is $\mathbb{P}\left(\mathbb{n}\right)$-generic over $\mathbf{L}$, then all ${\mathit{\Sigma }}_n^1$ sets $x\subseteq \omega$ in $\mathbf{L}\left[G\right]$ are constructible by Theorem 5 because, by the homogeneity of the Sacks forcing, for any parameter-free formula $\Phi$ and any trees $T,T^{\prime }\in \mathbf{PT}$, we have

$$T\mathtt{forc}\Phi ⟺S\mathtt{forc}\Phi .$$

Let us present this final argument in more detail.

If $S,T\in \mathbf{PT}$, then let ${\mathrm{Hom}}_{ST}$ be the set of all homeomorphisms $h:\left[S\right]\stackrel{\mathrm{onto}}{⟶}\left[T\right]$; clearly, ${\mathrm{Hom}}_{ST}$ is non-empty. Suppose that $h\in {\mathrm{Hom}}_{ST}$. Recall that continuous functions $F:2^{\omega }\to {\omega }^{\omega }$ are coded so that ${\mathbb{f}}_c$ is the function coded by $c\in \mathbf{FPT}$. If $c,d\in \mathbf{FPT}$, then write $c⟶hd$ iff ${\mathbb{f}}_d\left(h\left(a\right)\right)={\mathbb{f}}_c\left(a\right)$ for all $a\in \left[S\right]=\mathtt{dom}h$. If $\phi =\Phi ({\widehat{c}}_1,\dots ,{\widehat{c}}_m)$ and $\psi =\Phi ({\widehat{d}}_1,\dots ,{\widehat{d}}_m)$ are formulas of ${}^S\mathcal{L}$ (see Section 11), and $c_i⟶h{d}_i$ for all i, then write $\phi ⟶h\psi$. In this case, the formulas $\phi \left[a\right]$ and $\psi \left[h\right(a\left)\right]$ coincide for any $a\in \left[S\right]$.

Lemma 17.

Suppose that $S,T\in \mathbf{PT}$, $h\in {\mathrm{Hom}}_{ST}$, Φ and Ψ are closed formulas in one and the same type, ${}^S\mathit{\Sigma }_k^1$ or ${}^S\mathit{\Pi }_k^1$, and $\Phi ⟶h\Psi$. Then, $S\mathtt{forc}\Phi$ if and only if $T\mathtt{forc}\Psi$.

Proof. 

Routinely argue by induction on the complexity of the formulas. □

Corollary 3.

If $S,T\in \mathbf{PT}$ and $\Phi$ is a formula in ${\mathit{\Sigma }}_k^1$ or ${\mathit{\Pi }}_k^1$, then $S\mathtt{forc}\Phi$ iff $T\mathtt{forc}\Phi$.

Proof. 

Pick $h\in {\mathrm{Hom}}_{ST}$, note that $\Phi ⟶h\Phi$ (as $\Phi$ contains no symbols of the form $\widehat{c}$), and apply Lemma 17. □

Lemma 18.

If $G\subseteq \mathbb{P}\left(\mathbb{n}\right)$ is $\mathbb{P}\left(\mathbb{n}\right)$-generic over $\mathbf{L}$, and $x\subseteq \omega ,\left[0\right]x\in \mathbf{L}\left[G\right]$ is ${\mathit{\Sigma }}_{\mathbb{n}}^1$ in $\mathbf{L}\left[G\right]$, then $x\in \mathbf{L}$ and x is ${\mathit{\Sigma }}_{\mathbb{n}}^1$ in $\mathbf{L}$.

Proof. 

Let $\phi \left(m\right)$ be a parameter-free ${\mathit{\Sigma }}_{\mathbb{n}}^1$ formula such that $x=\left\{m:\phi \right(m\left)\right\}$ in $\mathbf{L}\left[G\right]$. Consider the tree $S=2^{<\omega }\in \mathbf{PT}$. Then,

$$m\in x⟺\mathbf{L}\left[G\right]\vDash \phi \left(m\right)⟺\exists T\in G\left(T\mathtt{forc}\phi \right(m\left)\right)⟺S\mathtt{forc}\phi \left(m\right),$$

by Theorem 5 and Corollary 3. It remains to refer to Lemma 15. □

This ends the proof of Theorems 4 and 1.

14. Theorem 2: Outline

As the proof of Theorem 1, given above, contains a heavy dose of the forcing technique, first of all we have to adequately replace ${\mathbf{PA}}_2$ with a more ZFC-like, forcing-friendly set theory, dealing with Theorem 2. We will make use of the theory

$${\mathbf{ZFC}}_{\mathrm{lc}}^{-}:={\mathrm{ZFC}}^{-}\mathrm{plus}“\mathbf{V}=\mathbf{L}”\mathrm{plus}“\mathrm{all}\mathrm{sets}\mathrm{are}\mathrm{countable}”,$$

(†)

as such a proxy theory. (The upper minus stands for the absence of the power sets axiom, whereas l and c in the lower index stand for the constructibility ($\mathbf{L}$) and countability.) The following is the according proxy theorem (compared to Theorem 1).

Theorem 6.

If $\mathbb{n}\ge 2$, then there exists a generic extension of the universe of ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$, in which all axioms of ${\mathbf{ZFC}}^{-}$ hold, along with the following:

(i)

There is a nonconstructible ${\Delta }_{\mathbb{n}+1}^1$ real $a\in 2^{\omega }$ such that:

(ii)

$\mathbf{V}=\mathbf{L}\left[a\right]$ holds;

(iii)

a is minimal over the ground universe of ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$, in the sense similar to (iii) of Theorem 1;

(iv)

But, all ${\mathit{\Sigma }}_{\mathbb{n}}^1$ sets $x\subseteq \omega$ are constructible and ${\mathit{\Sigma }}_{\mathbb{n}}^1$ in the ground universe of ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}.$

The universe of ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$ is naturally identified with ${\mathbf{L}}_{{\omega }_1^{\mathbf{L}}}$. It will take some effort to obtain the proof of Theorem 1 relativized to ${\mathbf{L}}_{{\omega }_1^{\mathbf{L}}}$ so that it can be executed in the universe of ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$, denoted by ${\mathbf{L}}_{{\omega }_1}^{†}$ below for the sake of convenience.

To establish Theorem 6, we will make use of a suitable version of the forcing notion $\mathbb{P}\left(\mathbb{n}\right)$ as a definable class in ${\mathbf{L}}_{{\omega }_1}^{†}$, and a class-forcing notion, CCC, with regard to all definable class-antichains, and then we will show that $\mathbb{P}\left(\mathbb{n}\right)$-generic extensions of ${\mathbf{L}}_{{\omega }_1}^{†}$ prove Theorem 2.

Yet, there is a serious obstacle: the treatment of $\mathbb{P}\left(\mathbb{n}\right)$ involves ordinals and some other objects in ${\mathbf{L}}_{{\omega }_2}$ (rather than ${\mathbf{L}}_{{\omega }_1}$) in the proof of the key CCC result by Lemma 6, and this is not admissible in ${\mathbf{ZFC}}^{-}$. We overcome this difficulty, following the idea of a recent construction of definable-◇ sequences by Enayat and Hamkins [25].

Definition 9.

The ground set universe of ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$ is denoted by ${\mathbf{L}}_{{\omega }_1}^{†}$. We use ${\omega }_1$ to denote the collection (a proper class) of all ordinals in ${\mathbf{L}}_{{\omega }_1}^{†}$; all of them are countable.

Remark 1.

Arguing in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$, we will often consider (definable) proper classes as they will play a more essential role than is common in ZFC. We will also consider such things as class-size collections of proper classes, e.g., class-long sequences ${⟨X_{\alpha }⟩}_{\alpha <{\omega }_1}$ of proper classes $X_{\alpha }$, with the understanding that the real thing considered in this case is some (definable) class $Y\subseteq {\omega }_1\times {\mathbf{L}}_{{\omega }_1}^{†}$ whose slices $Y_{\alpha }=\{x:⟨\alpha ,x⟩\in Y\}$ are equal to the given classes $X_{\alpha }$.

15. Jensen’s Sequences, ${\mathbf{ZFC}}^{-}$ Version

Adapting the proof of Theorem 1 above for the proof of Theorem 6, we are going to introduce $\mathbb{P}$ as a definable class forcing under ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$. In this section, we argue in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}.$

Definition 10

(in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$). If $\alpha <{\omega }_1$ and ${⟨X_{\beta }⟩}_{\beta <\alpha }$ is a sequence of any sets, then let ${\mathbf{M}}^{†}\left({⟨X_{\beta }⟩}_{\beta <\alpha }\right)$ be the least CTM M, necessarily of the form ${\mathbf{L}}_{\kappa },\kappa <{\omega }_1$, which

(1)

Models ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}\left(\mathrm{bound}\right)$, i.e., ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$ with the collection and separation schemata (see Section 1) restricted to bounded ∈-formulas;

(2)

Contains ${⟨X_{\beta }⟩}_{\beta <\alpha }$; and

(3)

Contains the set $\mathbf{Tru}\left({\mathbf{L}}_{\alpha }\right)$= all $\in$-formulas, with parameters in ${\mathbf{L}}_{\alpha }$, true in ${\mathbf{L}}_{\alpha }$.

Compared to Definition 1, we may note that, arguing in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$, it is not suitable to refer to models of ${\mathbf{ZFC}}^{-}$. This is the reason for passing to ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}\left(\mathrm{bound}\right)$ here.

Definition 11

(in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$). If $\alpha <{\omega }_1$, then let $⟨T_{\alpha },c_{\alpha },{\nu }_{\alpha }⟩$ be the αth element of the set $\mathbf{PT}\times \mathbf{FPT}\times {\omega }_1$ in the sense of the Gödel canonical well-ordering of $\mathbf{L}$.

For any ordinal $\lambda \le {\omega }_1$, we let ${\mathbf{J}}_{\lambda }^{†}$ (Jensen’s sequences of length $\lambda$, ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$ version) be the set of all sequences ${⟨P_{\alpha }⟩}_{\alpha <\lambda }$ of length $\lambda$, of countable sets $P_{\alpha }\subseteq \mathbf{PT}$, satisfying conditions 1°, 2°, 3°, 5°, 6° of Definition 2, and the following condition instead of 4°.

4^†.

If $\alpha <\lambda$, $T\in P_{\alpha }$, $D\in {\mathbf{M}}^{†}\left({⟨P_{\beta }⟩}_{\beta <\alpha }\right)$, $D\subseteq P_{<\alpha }$ is open dense in $P_{<\alpha }$, then $T{\subseteq }^{\mathrm{fd}}\bigcup D$.

Let ${\mathbf{J}}_{<\lambda }^{†}={\bigcup }_{\alpha <\lambda }{\mathbf{J}}_{\alpha }^{†}$.

Lemma 19

(in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$). Suppose that $\beta <\lambda \le {\omega }_1$ and ${⟨P_{\alpha }⟩}_{\alpha <\lambda }\in {\mathbf{J}}_{\lambda }^{†}$. Then, $P_{\beta }$ is pre-dense in the set $P_{<\lambda }={\bigcup }_{\alpha <\lambda }{P}_{\alpha }$—the proof is similar to Lemma 5.

Lemma 20

(in $\mathbf{L}$). Assume that ${⟨P_{\alpha }⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}^{†}$. Then, the forcing notion $P={\bigcup }_{\alpha <{\omega }_1}{P}_{\alpha }\in \mathbf{L}$ satisfies CCC in $\mathbf{L}$ with regard to all antichains $A\subseteq P$ definable in ${\mathbf{L}}_{{\omega }_1}^{†}$ with parameters.

In this lemma, CCC is naturally understood in the class form: every class-size definable antichain is a countable set.

Proof. 

Suppose that $A\subseteq P$ is a maximal $P$-antichain. As A is definable, assume that $A=\{T\in {\mathbf{L}}_{{\omega }_1}:{\mathbf{L}}_{{\omega }_1}\vDash \phi (p,T)\}$, where $p\in {\mathbf{L}}_{{\omega }_1}^{†}$ is a parameter and $\phi$ any $\in$- formula.

There exists a limit ordinal $\alpha$ such that $p\in {\mathbf{L}}_{\alpha }$, the set $P_{<\alpha }={\bigcap }_{\gamma <\alpha }{P}_{\gamma }$ satisfies $P_{<\alpha }=P\cap {\mathbf{L}}_{\alpha }$, the set $A_{<\alpha }=A\cap P_{<\alpha }$ is a maximal $P_{<\alpha }$-antichain, and therefore pre-dense in $P_{<\alpha }$, and, finally, ${\mathbf{L}}_{\alpha }$ is elementarily equivalent to ${\mathbf{L}}_{{\omega }_1}^{†}$ with regard to $\phi$, so that, overall, we have: $A_{<\alpha }=\{T\in {\mathbf{L}}_{\alpha }:{\mathbf{L}}_{\alpha }\vDash \phi (p,T)\}$.

Let $M={\mathbf{M}}^{†}\left({⟨P_{\gamma }⟩}_{\gamma <\alpha }\right)$. We assert that $A_{<\alpha }\in M$. Indeed, by definition, the truth set $\mathit{\tau }=\mathbf{Tru}\left({\mathbf{L}}_{\alpha }\right)$ belongs to ${\mathbf{L}}_{\mu }$. On the other hand, $A_{<\alpha }=\{T:\phi (p,T)\in \mathit{\tau }\}$ by the above. It follows that $A_{<\alpha }\in M$ since M models ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}\left(\mathrm{bound}\right)$.

Now, it suffices to prove that $A=A_{<\alpha }$. Suppose, to the contrary, that $T\in A\setminus A_{<\alpha }=A\setminus P_{<\alpha }$. Then, T is compatible with some $T^{\prime }\in P_{\alpha }$ by Lemma 19; that is, there is a tree $T^{″}\in J$, $T^{″}\subseteq T^{\prime }\cap T$. On the other hand, it follows from 4^† that $T^{\prime }{\subseteq }^{\mathrm{fd}}{A}_{<\alpha }$. Then, $T^{″}{\subseteq }^{\mathrm{fd}}{A}_{<\alpha }$ as well, and hence there exist $s\in T^{″}$ and $S\in A_{<\alpha }$ such that the tree $U=T^{″}{\upharpoonright }_s$ satisfies $U\subseteq T^{″}\cap S$; therefore, $U\subseteq T\cap S$. However, $U\in P$ by 2°, and $S\in A_{<\alpha }$ but $T\in A\setminus A_{<\alpha }$, contrary to the assumption that A is a $P$-antichain. □

The following extendability theorem is proved in a similar way to Theorem 3, so we skip the proof.

Theorem 7

(in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$). Suppose that $\lambda <{\omega }_1$. Then, any sequence ${⟨P_{\alpha }⟩}_{\alpha <\lambda }\in {\mathbf{J}}_{\lambda }^{†}$ has an extension ${⟨P_{\alpha }⟩}_{\alpha \le \lambda }\in {\mathbf{J}}_{\lambda +1}^{†}$.

16. Definable Jensen’s Sequence and the Forcing Engine, ${\mathbf{ZFC}}^{-}$ Version

We deal with the issue of the definability of Jensen’s sequences in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$.

Remark 2.

Note that $\mathrm{HC}={\mathbf{L}}_{{\omega }_1}^{†}$ = all sets, in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$. The definability types ${\mathit{\Sigma }}_n^{\mathrm{HC}}$, ${\mathit{\Pi }}_n^{\mathrm{HC}}$, ${\Delta }_n^{\mathrm{HC}}$ consist of definable classes $X\subseteq {\mathbf{L}}_{{\omega }_1}^{†}$ in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$, of course.

Lemma 21

(in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$, note similarities to Corollary 1). There exists a $({\Delta }_1^{{\mathbf{L}}_{{\omega }_1}^{†}}={\Delta }_1^{\mathrm{HC}})$ sequence $\mathit{p}={⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}^{†}$.

Definition 12

(in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$). By Lemma 21, fix a sequence ${⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}$ of sets ${\mathbb{P}}_{\alpha }\in {\mathbf{L}}_{{\omega }_1}^{†}$, such that it holds in ${\mathbf{L}}_{{\omega }_1}^{†}$ that (1) ${⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}^{†}$, and (2) ${⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}$ is a ${\Delta }_1^{{\mathbf{L}}_{{\omega }_1}^{†}}$ sequence.

Put $\mathbb{P}={\bigcup }_{\alpha <{\omega }_1}{\mathbb{P}}_{\alpha }$.

Consider such a set $\mathbb{P}\subseteq \mathbf{PT}$ as a forcing notion (here, a proper class) over ${\mathbf{L}}_{{\omega }_1}^{†}$.

The forcing engine does not necessarily work in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$ for an arbitrary class-size forcing notion. But, there is a type of forcing notions that admits adequate treatment of forcing similar to the standard ZFC case. This is the class forcing theory of S. D. Friedman [26,27], further developed by Antos and Gitman [19] to be applicable over ${\mathbf{ZFC}}^{-}$.

Definition 13

(S. D. Friedman, see [19,26]). A forcing notion (a partially ordered definable class) $P=⟨P;\le ⟩$ is pre-tame if, for every class sequence ${⟨D_x⟩}_{x\in a}$ of dense classes $D_x\subseteq P$, parametrized by elements of a set a (so that $D=\{⟨x,z⟩:x\in a\wedge z\in D_x\}$ is a definable class), and every condition $p\in P$, there is a condition $q\le p$ and a sequence ${⟨d_x⟩}_{x\in a}$ of sets $d_x\subseteq P$ such that each $d_x\subseteq D_x$ is pre-dense below q in P.

Theorem 8

(S. D. Friedman, see [19,26]). In ${\mathbf{ZFC}}^{-}$, let P be a pre-tame class-forcing notion. Then, P preserves ${\mathbf{ZFC}}^{-}$ and satisfies the main forcing principles, including the truth forcing and forcing definability theorems.

Remark 3.

The forcing notion $\mathbb{P}$, introduced by Definition 12, is a class forcing satisfying CCC by Theorem 20. Therefore, $\mathbb{P}$ is pre-tame under ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$, as, obviously, is any CCC forcing. We conclude that Theorem 8 is applicable, and hence usual forcing theorems are valid for $\mathbf{P}$-generic extensions of ${\mathbf{L}}_{{\omega }_1}^{†}$, the ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$ set universe.

This justifies all forcing results in Section 7 and Section 8 above, on the basis of ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$.

In particular, we have:

Corollary 4

(in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$, = Theorem 6, case $\mathbb{n}=2$). Assume that $G\subseteq \mathbb{P}$ is $\mathbb{P}$-generic over ${\mathbf{L}}_{{\omega }_1}^{†}$. Then, ${\mathbf{L}}_{{\omega }_1}^{†}\left[G\right]$ satisfies Theorem 6 for $\mathbb{n}=2$.

This completes the proof of Theorem 6, case $\mathbb{n}=2$.

17. Theorem 6: General Case

The proof of the general case of Theorem 6 follows the arguments in Section 10, Section 11, Section 12 and Section 13 mutatis mutandis. We sketch it here without going into details.

Recall Definition 2 on the definability types like ${\mathit{\Sigma }}_n^{\mathrm{HC}}={\mathit{\Sigma }}_n^{{\mathbf{L}}_{{\omega }_1}^{†}}$.

Definition 14

(in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$). Suppose that $n\ge 3$. Similarly to Definition 6, a sequence ${⟨P_{\alpha }⟩}_{\alpha <{\omega }_1}$ in ${\mathbf{J}}_{{\omega }_1}^{†}$ is $n$-complete if, for any ${\mathbf{\Sigma }}_{n-2}\left({\mathbf{L}}_{{\omega }_1}^{†}\right)$ set $D\subseteq {\mathbf{J}}_{<{\omega }_1}^{†}$, there is $\gamma <{\omega }_1$ such that ${⟨P_{\alpha }⟩}_{\alpha <\gamma }\in D^{\mathrm{solv}}$, i.e., either ${⟨P_{\alpha }⟩}_{\alpha <\gamma }\in D$ or no sequence in D extends ${⟨P_{\alpha }⟩}_{\alpha <\gamma }$.

A set $P\subseteq \mathbf{PT}$ of perfect trees is $n$-complete if, for any ${\mathbf{\Sigma }}_{n-2}\left({\mathbf{L}}_{{\omega }_1}^{†}\right)$ set $W\subseteq \mathbf{PT}$, the set $W^{\mathrm{solv}}\cap P=\{S\in P:S\in W\vee \neg \exists T\in W(T\subseteq S)\}$ is dense in P.

The two following results are the conclusive steps in the proof of Theorem 6.

Lemma 22

(in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$, similar to Lemma 13). If $n\ge 3$, then there exists an $n$-complete ${\Delta }_{n-1}^{{\mathbf{L}}_{{\omega }_1}^{†}}$ sequence ${⟨{\mathbb{P}}_{\alpha }⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}^{†}.$

Theorem 9

(in ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$, similar to Theorem 4). Assume that $\mathbb{n}\ge 3$, ${⟨{\mathbb{P}}_{\alpha }\left(\mathbb{n}\right)⟩}_{\alpha <{\omega }_1}\in {\mathbf{J}}_{{\omega }_1}^{†}$ is an $\mathbb{n}$- complete ${\Delta }_{n-1}^{{\mathbf{L}}_{{\omega }_1}^{†}}$ sequence(Lemma 22), and $\mathbb{P}\left(\mathbb{n}\right)={\bigcup }_{\alpha <{\omega }_1}{\mathbb{P}}_{\alpha }\left(\mathbb{n}\right)$. Then, $\mathbb{P}\left(\mathbb{n}\right)$-generic extensions of $\mathbf{L}$ prove Theorem 6.

This completes the proof of Theorem 6 (general case).

Corollary 5.

If $\mathbb{n}\ge 2$, then the conjunction $\left(i\right)\wedge \left(ii\right)\wedge \left(iii\right)\wedge \left(iv\right)$ of items of Theorem 6 is consistent with${\mathbf{ZFC}}^{-}$ provided that ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$ is consistent.

Proof. 

This is a usual metamathematical corollary of Theorems 9 and 8 and Remark 3. □

18. Reduction to Second-Order Peano Arithmetic

Corollary 5 reduces Theorem 2 to the statement

$$\mathrm{Consis}\left({\mathbf{PA}}_2\right)⟹\mathrm{Consis}\left({\mathbf{ZFC}}_{\mathrm{lc}}^{-}\right).$$

We recall that the consistency of ${\mathbf{PA}}_2$ is the blanket assumption in Theorem 2. Yet, we can use the following equiconsistency result:

Theorem 10.

Theories ${\mathbf{PA}}_2$ and ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$ are equiconsistent.

Proof. 

The theorem has been a well-known fact since some while ago; see, e.g., Theorem 5.25 in [11]. A rather natural way of proof is as follows.

Step 1. Theory ${\mathbf{ZFC}}^{-}+“\mathrm{all}\mathrm{sets}\mathrm{are}\mathrm{countable}”$ is interpreted in ${\mathbf{PA}}_2$ by the tree interpretation described in [11], § 5, especially Theorem 5.11, or in [13], Definition VII.3.10 ff. Kreisel [12], VI(a)(ii), attributed this interpretation to the type of “crude” results.

Step 2. Arguing in ${\mathbf{ZFC}}^{-}+“\mathrm{all}\mathrm{sets}\mathrm{are}\mathrm{countable}”$, we define the transitive class $\mathbf{L}$ of all constructible sets, which models ${\mathbf{ZFC}}^{-}+“\mathrm{all}\mathrm{sets}\mathrm{are}\mathrm{constructible}”$.

Step 3. We argue in ${\mathbf{ZFC}}^{-}+“\mathrm{all}\mathrm{sets}\mathrm{are}\mathrm{constructible}”$. If every ordinal is countable, then immediately all sets are countable; that is, we have ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$. If there exist uncountable ordinals, then let ${\omega }_1$ be the least of them. Then, ${\mathbf{L}}_{{\omega }_1}$ is a transitive set that models ${\mathbf{ZFC}}_{\mathrm{lc}}^{-}$.

We conclude from Steps 1,2,3 that ${\mathbf{PA}}_2$ and ${\mathbf{ZFC}}_{\mathbf{L}\mathbf{C}}^{-}$ are equiconsistent. □

Combining Theorem 10 and Corollary 5, we finalize the proof of Theorem 2.

19. Conclusions and Problems

In this study, the method of definable generic forcing notions was employed to the construction of a model in which, for a given $\mathbb{n}\ge 2$, there is a nonconstructible ${\Delta }_{\mathbb{n}+1}^1$ real a, minimal over $\mathbf{L}$ and satisfying $\mathbf{V}=\mathbf{L}\left[a\right]$, but all ${\mathit{\Sigma }}_{\mathbb{n}}^1$ reals are constructible (Theorem 1). This essentially strengthens and extends our earlier results in [10] by $\mathbf{V}=\mathbf{L}\left[a\right]$ and the minimality claim. In addition, we established (Theorem 2) the ensuing consistency result on the basis of second-order Peano arithmetic ${\mathbf{PA}}_2$, instead of the much stronger theory ZFC typically assumed as a premise in independence results obtained by the forcing method. This is a new result and a valuable improvement upon much of known independence results in modern set theory.

The technique developed in this paper may lead to further progress in studies of different aspects of the projective hierarchy. We hope that this study will contribute to the following crucial problem by S. D. Friedman; see [26] (P. 209) and [27] (P. 602): find a model of ZFC, for a given n, in which all ${\mathbf{\Sigma }}_{\mathbb{n}}^1$ sets of reals are Lebesgue measurable and have the Baire and perfect set properties, and, at the same time, there exists a ${\mathbf{\Delta }}_{\mathbb{n}+1}^1$ well-ordering of the reals.

From our study, it is concluded that the technique of transitive models of bounded Separation in ${\mathbf{ZFC}}^{-}$, as in Section 15, will lead to similar consistency and independence results, related to second-order Peano arithmetic ${\mathbf{PA}}_2$ and similar to our Theorem 2, on the basis of the consistency of ${\mathbf{PA}}_2$ itself.

The following problems arise from our study.

Problem 1.

Iterations of Jensen’s forcing were developed by Abraham [28]. Combining this technique with the finite-support Jensen products technique and some earlier forcing constructions used in the theory of generic choiceless models, a model of $\mathbf{ZF}$ is presented in [29] in which the countable $\mathbf{AC}$ holds but the dependent choices scheme $\mathbf{DC}$ fails for some ${\mathit{\Pi }}_2^1$ relation (which is the best possible). This leads to two different problems:

(I)

Reprove the consistency results in [29] on the basis of the consistency of theory ${\mathbf{PA}}_2$, similar to Theorem 2.

(II)

Generalize the mentioned consistency result of [29] to higher projective levels by means of a suitable definable generic forcing notion. That is, given $\mathbb{n}\ge 3$, define a model of $\mathbf{ZF}$ in which the countable $\mathbf{AC}$ holds whereas $\mathbf{DC}$ fails for some ${\mathit{\Pi }}_{\mathbb{n}}^1$ relation but holds for ${\mathit{\Pi }}_{\mathbb{n}-1}^1$. A recent paper [30], containing some consistency results related to different forms of the countable $\mathbf{AC}$, is a step in this direction.

Problem 2.

The method of definable generic forcing notions has been recently applied for some definability problems in modern set theory, including the following applications:

-

A model of ZFC, in which the separation principle holds for a given effective projective type ${\mathit{\Sigma }}_{\mathbb{n}}^1$, $\mathbb{n}\ge 3$, is defined in [31];

-

A model of ZFC, in which well-orderings of the reals first appear at a given projective level, is defined in [32];

-

A model of ZFC, in which the full basis theorem holds in the absence of analytically definable well-orderings of the reals, is defined in [33].

It is a common problem related to all these results to establish their ${\mathbf{PA}}_2$-consistency versions similar to Theorem 2.

Problem 3.

A somewhat modified forcing notion, say ${\mathbb{P}}^{\prime }\left(\mathbb{n}\right)\subseteq \mathbf{PT}$, rather similar to $\mathbb{P}\left(\mathbb{n}\right)$ of Theorem 4, is defined in [34]. It is invariant under some transformations so that, instead of a single generic real by $\mathbb{P}\left(\mathbb{n}\right)$, it adjoins a ${\mathsf{E}}_0$-equivalence class of ${\mathbb{P}}^{\prime }\left(\mathbb{n}\right)$-generic reals. (Recall that reals $a,b\in 2^{\omega }$ are ${\mathsf{E}}_0$-equivalent if $a\left(n\right)=b\left(n\right)$ for all but finite n. See some generalizations in [35].) It turns out that this ${\mathbb{P}}^{\prime }\left(\mathbb{n}\right)$-generic ${\mathsf{E}}_0$-class is a (countable) ${\mathit{\Pi }}_{\mathbb{n}}^1$ set containing no OD (ordinal-definable) elements in the extension, and, at the same time, every countable ${\mathit{\Sigma }}_{\mathbb{n}}^1$ set definitely contains OD elements.