Representability and diagonalisation

In the last two web pages we learnt that DOR is able to prove all true Σ 1 sentences and that Σ 1 formulas represent all r.e. relations. It is now time to put these facts together.

1. Representability

Definition.

A function f : k is Σ 1 -represented in DOR if there is a Σ 1 formula θ ( x _ , y ) such that for all n _ and for m = f ( n _ ) , θ ( n _ , m ) is true (and hence provable in DOR ) and also

DOR y ( θ ( n _ , y ) y = m )

Definition.

A set A k is Σ 1 -represented in DOR if there is a Σ 1 formula θ ( x _ ) such that for all n _ k

n _ A DOR θ ( n _ )

and

n _ A DOR ¬ θ ( n _ )

If you think about it, it should be clear that only recursive sets can be represented in DOR . This is because one could search for proofs of θ ( n _ ) or ¬ θ ( n _ ) to determine whether n _ A . Similarly, a total function f : k , if represented, must be recursive. In fact every recursive set and recursive function can be so represented.

Theorem.

Every total recursive function f is Σ 1 -represented in DOR .

Proof.

Let f : k be a total recursive function. We write x _ for a tuple of k variables and n _ for a tuple of k natural numbers. Similarly we write a bar to denote a tuple (pair, triple, quadruple, etc.) of unknown or undefined length.

We saw on an earlier web page that there is a Δ 0 formula θ ( x _ , y , z _ ) such that for all n _ , m f ( n _ ) = m holds iff z _ θ ( n _ , m , z _ ) is true. This formula does not have all the properties we require however. For example it may be consistent with DOR that z _ θ ( n _ , l , z _ ) holds for some l m , though this is not actually true in . In other words it may be that some M DOR has c _ M z _ θ ( n _ , l , c _ ) for m l though of course in such a case not all the c _ will be in . We must modify θ to obtain a formula representing f in the required way.

For the tuple x _ , Σ z _ denotes the term z 1 + + z l where l is the length of the tuple. Consider the formula ψ ( x _ , y , z _ ) defined to be,

θ ( x _ , y , z _ ) u , v _ ( y + Σ z _ ) ( θ ( x _ , u , v _ ) ( y + Σ z _ ) ( u + Σ v _ ) )

saying that not only does θ hold but the choice of y + Σ z _ is least possible. Note that the quantifier here u , v _ ( y + Σ z _ ) means that each variable quantified over is bounded by the term y + Σ z _ so it is a bounded quantifier.

First note that our new ψ ( x _ , y , z _ ) defines f in as before. For if f ( n _ ) = m there are z _ such that θ ( n _ , m , z _ ) and we may choose z _ to minimise m + Σ z _ hence ψ ( n _ , m , z _ ) .

To show that DOR y ( z _ ψ ( n _ , y , z _ ) y = m ) consider some M DOR and u , v _ M ψ ( n _ , u , v _ ) . Then for the z _ chosen in the last paragraph we have M ψ ( n _ , m , z _ ) since this is Δ 0 and true, and hence u + Σ v _ m + Σ z _ . Therefore u , v _ and as M ψ ( n _ , u , v _ ) with ψ in Δ 0 it must be true: ψ ( n _ , u , v _ ) . (For if not, ¬ ψ ( n _ , u , v _ ) and this is also a true Δ 0 statement hence true in M .) Therefore m = u as this is the only value of the function f ( n _ ) , as required.

Theorem.

Every recursive set A is Σ 1 -represented in DOR .

Proof.

If A k is recursive then we know its characteristic function is represented in the sense of the previous result. This means that there is a Σ 1 formula θ ( x _ , y ) such that if n _ A then DOR θ ( n _ , 1 ) and if n _ A then DOR θ ( n _ , 0 ) . Also, since DOR 0 1 , if n _ A then DOR θ ( n _ , 0 ) and also DOR x ( θ ( n _ , x ) x = 0 ) hence DOR ¬ θ ( n _ , 1 ) . Therefore A is represented as a set by the formula θ ( n _ , 1 ) .

2. Diagonalisation

The key lemma here, called the Diagonalisation lemma or the Diagonal lemma is due to Gödel. It is rather powerful and used for much more than just to prove the incompleteness theorems. In some sense it generalises Cantor's diagonal method that was used to prove that neither the set of reals nor the power set of the naturals is countable. First we review the idea of Gödel-numbering.

Gödel-numbering is a system of numbering expressions of a first order language. Since a first order language can be considered as a countable set of symbols (with certain grammatical production rules) the set of strings (of finite length) formed from these symbols is also countable. It follows that there is an injection s s from strings s to natural numbers, called Gödel-numbering. With the β -function we can be more precise: if we have a mapping of symbols α g ( α ) we can define s = k , x where k is the length of s = s 0 s 1 s k - 1 and x is the least code of the sequence g ( s 0 ) , g ( s 1 ) g ( g k - 1 ) in the sense of the β -function: y < k ( g ( s y ) = β ( x , y ) ) . The important thing is that this operation is computable in a very natural sense: every syntactical operation of terms and formulas of the language required to define the notion of proof corresonds to a recursive operation on Gödel-numbers. (This is a lot of detailed checking and somewhat outside the scope of these notes.)

From now on, we fix such a Gödel-numbering for the usual language of arithmetic.

Diagonalisation Lemma

For any L A formula θ ( x ) with a single free variable x there is a sentence G θ of L A such that

DOR G θ θ ( G θ )

Moreover, if θ is Π 1 then we can find such G θ which is also Π 1 .

Proof.

Define the recursive function diag ( n ) to be y ( y = n σ ( y ) ) if n = σ ( x ) , the Gödel-number of a formula of one single free variable x , and to be 0 otherwise. Thus diag ( σ ( x ) ) is the Gödel-number of a sentence equivalent to σ ( n ) where n = σ ( x ) . Let δ ( x , y ) be a Σ 1 formula representing diag ( x ) = y in DOR . Let ψ ( x ) be z ( δ ( x , z ) θ ( z ) ) , which you can think of as θ ( diag ( x ) ) . Let n = ψ ( x ) , so you may think of ψ ( n ) as θ ( ϕ ( n ) ) , and DOR G θ θ ( G θ ) where G θ is y ( y = n ψ ( y ) ) .

Tarski's theorem on Truth

Let M DOR . Then for no formula τ ( x ) of L A is it the case that

M τ ( σ ) σ

for all sentences σ of L A .

Proof.

If such τ ( x ) exists in some M , find G such that DOR G ¬ τ ( G ) and obtain a contradiction.

Exercise.

Why does the preceding argument not show that there is no Π 1 definition of Π 1 truth? In fact there is some Π 1 formula τ ( x ) of L A such that for all sufficiently strong models M (satisfying a few additional axioms as well as DOR ) it the case that

M τ ( σ ) σ

for all Π 1 sentences σ of L A . (Follow the above class and point out where the formula class is wrong.) What class of formulas can you convincingly prove not to define Π 1 truth?