\newcommand{\Nat}{\mathbb{N}}
\newcommand{\Real}{\mathbb{R}}
\newcommand{\Integer}{\mathbb{Z}}
\newcommand{\Rat}{\mathbb{Q}}
\newcommand{\Pow}{\mathcal{P}}
\newcommand{\Baire}{\Nat^{\Nat}}
\newcommand{\Rest}[1]{\mid_{#1}}
\newcommand{\bPi}{\pmb{\Pi}}
\newcommand{\bSigma}{\pmb{\Sigma}}
\newcommand{\bDelta}{\pmb{\Delta}}
\newcommand{\Cyl}[1]{N_{#1}}
\newcommand{\Cant}{2^{\Nat}}
\newcommand{\Nstr}{\Nat^{<\Nat}}
\newcommand{\Tup}[1]{\langle #1 \rangle}
\newcommand{\Co}[1]{\neg \,#1}
\newcommand{\Op}[1]{\operatorname{#1}}
\newcommand{\Rest}[1]{\mid_{#1}}
\newcommand{\Sle}{\subset}
\newcommand{\Sleq}{\subseteq}
\DeclareMathOperator{\Ap}{ap}
In this chapter, we take a further look at Borel subsets of
Using a standard (effective) coding procedure, we can identify a finite sequence of natural numbers with a natural number, and thus can see
If we provide a Turing machine with oracle
Similarly, we can identify a closed set
Then determining whether
These simple observations suggest the following general approach to Borel sets.
:column: col-lg-12 p-2
- Borel sets can be coded by a single infinite sequence in $\Baire$ (or $\Cant$).
- Given the code, we can describe the Borel set effectively, by means of oracle computations.
- The connection between degrees of unsolvability and definability results in a close correspondence between arithmetical sets ($\Sigma^0_n$) and Borel sets of finite order ($\bSigma^0_n$).
In this lecture we will fully develop this correspondence. Later, we will see that it even extends beyond the finite level.
We fix a computable bijection
Furthermore, let
Finally, let us define the following operation on elements of Baire (or Cantor) space: Given
- let
$\beta'$ be the real defined by$\beta'(n) = \beta(n+1)$ . (We cut the first entry.) - for
$m \geq 0$ , let$(\beta)_m$ be the$m$ -th column of$\beta$ ,$(\beta)_m(n) = \beta(\Tup{m,n})$ .
Borel codes are defined inductively.
:label: def-Borel-codes
Let $\gamma \in \Baire$.
- Suppose $\gamma \in \Baire$ is such that $\gamma(0) = 1$ and $\gamma' \in \Baire$. $\gamma$ **is a $\bSigma^0_1$ code** for the open set
\begin{equation*}
U = \bigcup_{\gamma'(\sigma) = 0} \Cyl{\sigma}
\end{equation*}
- If $\gamma$ is such that $\gamma(0)=2$ and $\gamma'$ is a $\bSigma^0_n$ code for $A \subseteq \Baire$, we say $\gamma$ **is a $\bPi^0_n$ code** for $\Co{A}$.
- If $\gamma$ is such that $\gamma(0)=3$ and for each $m$, $(\gamma')_m$ is a $\bPi^0_n$ code of a set $A_m$, we say $\gamma$ **is a $\bSigma^0_{n+1}$ code** for $\bigcup_n A_n$.
The first position in each code indicates the kind of set it codes -- an open set, a complement, or a union.
Note that the definition of Borel code actually assigns codes to representations of sets. A Borel set can have (and has) multiple codes, just as it has multiple representations. We can, for example, represent an open set by different sets
Moreover, every
The following is a straightforward induction.
:label: prop-Borel-codes
Every $\bSigma^0_n$ ($\bPi^0_n$) set has a $\bSigma^0_n$ ($\bPi^0_n$) Borel code, and every $\bSigma^0_n$ ($\bPi^0_n$) code represents a $\bSigma^0_n$ ($\bPi^0_n$) set.
Suppose
With this, we can express membership in
\begin{align*}
\beta \in B \quad & \Leftrightarrow \quad \exists m : [\text{$\beta$ is in the set coded by
Note that, since we assume
is decidable, that is, it can be decided by a Turing machine.
Hence any
There exists a decidable predicate
$R(m,\sigma)$ such that \begin{equation*} \beta \in B \quad \Leftrightarrow \quad \exists m : \forall n ; \neg R(m, \beta\Rest{n}). \end{equation*}
Conversely, if
We claim that
Then
Thus, there seems to be a close connection between
In this analysis, there seems to be nothing specific about the
We will next introduce the lightface Borel hierarchy and show that it corresponds to Borel sets of finite order with recursive codes. Using relativization, we then obtain a complete characterization of Borel sets of finite order: They are precisely those sets definable by arithmetical formulas, relative to a real parameter.
But before we do that, we observe a basic fact about how we can compute with codes.
:label: lem-Borel-codes-clopen
Suppose $\gamma$ is a Borel code of finite order representing a set $B \subseteq \Baire$. Suppose further $C \subseteq \Baire$ is clopen and both $C$ and its complement have computable $\bSigma^0_1$ codes. We can, uniformly in $\gamma$, compute Borel codes for $B \cap C$ and $B \cup C$ of the same Borel complexity as $\gamma$.
:label: lem-Borel-codes-shift
Suppose $\gamma$ is a Borel code of finite order representing a set $B \subseteq \Baire$. Then can, uniformly in $\gamma$ and $k$, compute Borel codes of the same Borel complexity as $\gamma$ for the set
$$
B'_k = \{ \delta \colon (k, \delta) \in B\}
$$
We leave the proofs as an exercise. Proceed by induction on the Borel complexity of
You may notice some sloppy notation in the third item here, since as written the set $P$ should technically be a subset of $\Nat\times \Baire$. We will put this on more solid footing in the next chapter. For now, you can think of $\Nat \times \Baire$ as the same as $\Baire$ -- just "merge" the pair into one real.
:label: def-effective-Borel
A set $A \subseteq \Baire$ is
- (lightface) $\Sigma^0_1$ if there exists a computable predicate $R(\sigma)$ such that
\begin{equation*}
\alpha \in A \iff \exists k \: R(\alpha\Rest{k}),
\end{equation*}
- (lightface) $\Pi^0_n$ if $\Co{A}$ is $\Sigma^0_n$,
- (lightface) $\Sigma^0_{n+1}$ if there exists a $\Pi^0_n$ set $P$ such that
\begin{equation*}
\alpha \in A \iff \exists n \; (n,\alpha) \in P.
\end{equation*}
The following result is at the heart of the effective theory.
:label: prop-computable-codes
Let $A \subseteq \Baire$. Then
> $A$ is (lightface) $\Sigma^0_n$ ($\Pi^0_n$) iff $A$ has a computable $\bSigma^0_n$ ($\bPi^0_n$) code.
($\Rightarrow$) We proceed by induction on the Borel complexity.
Suppose $A$ is $\Sigma^0_1$. Let $R$ be computable such that $A = \{ \alpha \colon \exists n \: R(\alpha\Rest{n})\}$. Let
$$
W = \{ \sigma \in \Nstr \colon R(\sigma)\}.
$$
We have $\alpha \in A$ if and only if $\alpha \in \bigcup_{\sigma \in W} \Cyl{\sigma}$.
Since $R$ is decidable, $W$ is computable and $\gamma \in \Baire$ given by
$$
\gamma(n) =
\begin{cases}
1 & n = 0, \\
0 & n \geq 1 \: \& \: \pi(n-1) \in W,\\
17 & n \geq 1 \: \& \: \pi(n-1) \notin W,
\end{cases}
$$
is a computable $\bSigma^0_1$ code for $A$.
If $A$ is $\Pi^0_n$, then $A = \Co{B}$ for some $\Sigma^0_n$ $B$. By inductive hypothesis, $B$ has a computable $\bSigma^0_n$ code $\gamma$. Then $(2,\gamma)$ is a computable $\bPi^0_n$ code for $\Co{A}$.
Finally, assume that $A$ is $\Sigma^0_{n+1}$. Let $P$ be $\Pi^0_n$ such that $\alpha \in A \iff \exists n \; (n,\alpha) \in P$.
By inductive hypothesis, $P$ has a computable $\bPi^0_n$ code $\gamma$.
If we let $P_m = \{\beta \colon (m,\beta) \in P\}$, then $A = \bigcup P_m$. Thus, it suffices to show that we can uniformly obtain codes for $P_m$. This follows from {prf:ref}`lem-Borel-codes-shift`.
($\Leftarrow$) We proceed by induction on the complexity of the code $\gamma$.
If $\gamma$ is of the form $(1,\alpha)$, with $\alpha$ coding an open set $U$. Then
$$
\alpha \in U \iff \exists n \: \alpha(\Rest{n})= 0.
$$
Since $\gamma$ is assumed to be computable, the computable relation
$$
R(\sigma) :\iff \alpha(\sigma) = 0
$$
witnesses that $U$ is $\Pi^0_1$.
If $\gamma = (2, \alpha)$ is a $\bPi^0_n$ code, then $\alpha$ is a $\bSigma^0_n$ code. By inductive hypothesis, the set coded by $\alpha$ is $\Sigma^0_n$, so by definition of the effective hierarchy and the Borel codes, $\gamma$ codes a $\Pi^0_n$ set.
Finally, assume $\gamma = (3,\alpha)$ is a $\bSigma^0_{n+1}$ code for a set $B$. Then each $(\alpha)_m$ is a $\bPi^0_n$ code for a set $A_m$.
```{prf:lemma}
:label: lem-Borel-codes-inverse-shift
If $(\alpha_m)$ is a uniformly computable sequence of $\bPi^0_n$ codes for sets $A_m$, respectively, then there exists a $\bPi^0_n$ code $\alpha$ for the set
$$
A = \{(m,\beta) \colon \beta \in A_m\}
$$
```
```{prf:proof}
Similar to {prf:ref}`lem-Borel-codes-shift`
```
By inductive hypothesis, the set $A$ as in the Lemma is $\Pi^0_n$ and we have
$$
\beta \in B \iff \exists m (m, \beta )\in A,
$$
which implies $B$ is $\Sigma^0_{n+1}$.
Using relativized computations via oracles, we can define a relativized version of the effective Borel hierarchy. This way we can capture all Borel sets of finite order, not just the ones with computable codes.
Let $\gamma \in \Baire$. A set $A \subseteq \Baire$ is
- **(a)** $\Sigma^0_1(\gamma)$ if there exists a predicate $R(x)$ computable in $\gamma$ such that
\begin{equation*}
\alpha \in A \iff \exists n \: R(\alpha\Rest{n}),
\end{equation*}
- **(b)** $\Pi^0_n(\gamma)$ if $\Co{A}$ is $\Sigma^0_n(\gamma)$,
- **(c)** $\Sigma^0_{n+1}(\gamma)$ if there exists a $\Pi^0_n(\gamma)$ set $P$ such that
\begin{equation*}
\alpha \in A \iff \exists n \;[(n,\alpha) \in P].
\end{equation*}
A straightforward relativization gives the following analogue of {prf:ref}prop-computable-codes
.
:label: prop-relative-codes
Let $A \subseteq \Baire$ and $\gamma \in \Baire$. Then
> $A$ is $\Sigma^0_n(\gamma)$ ($\Pi^0_n(\gamma)$) if and only if $A$ has a $\bSigma^0_n$ ($\bPi^0_n$) code computable in $\gamma$.
We can now present the fundamental theorem of effective descriptive set theory.
:label: thm-fundamental
A set $A \subseteq \Baire$ is $\bSigma^0_n$ ($\bPi^0_n$) if and only if it is $\Sigma^0_n(\gamma)$ $(\Pi^0_n(\gamma))$ for some $\gamma \in \Baire$.
If $A$ is $\bSigma^0_n$, then by {prf:ref}`prop-Borel-codes` it has a $\bSigma^0_n$-code $\gamma$, and by {prf:ref}`prop-relative-codes`, $A$ is $\Sigma^0_n(\gamma)$. The other direction follows immediately from {prf:ref}`prop-relative-codes`.
The argument for $\bPi^0_n$ is completely analogous.
One of the fundamental insights of computability theory is the close relation between computability and definability in arithmetic. The recursively enumerable subsets of
As indicated above, we can use this relation to give a characterization of the Borel sets of finite order in terms of definability. Since we are dealing with subsets of
The
language of second order arithmetic has two kinds of variables: number variables
The standard model of second order arithmetic is the structure
where
A relation
:label: lightface-definability
A set $A \subseteq \Baire$ is $\Sigma^0_n$ $(\Pi^0_n)$ if and only if it is definable over $\mathcal{A}^2$ by a $\Sigma^0_n$ $(\Pi^0_n)$ formula.
Here,
The proof is a straightforward extension of the standard argument for subsets of
To formulate the fundamental {prf:ref}thm-fundamental
in terms of definability, we need the concept of relative definability. We add a new constant function symbol
where the symbol
Then the following holds.
:label: thm-Borel-arith
A set $A \subseteq \Baire$ is $\bSigma^0_n$ $(\bPi^0_n)$ if and only if it is definable in $\gamma$ by a $\Sigma^0_n$ $(\Pi^0_n)$ formula, for some $\gamma \in \Baire$.
This theorem facilitates the description of Borel sets considerably. As an example, consider the set
We have
The right hand side is a