117b – Turing degrees – Lecture 5

January 18, 2007

We finished the first topic of the course with a survey of results about the theory of {\mathcal D}.

In particular, we stated the Slaman-Woodin theorems on coding countable relations inside {\mathcal D} and on the structure of {\rm Aut}({\mathcal D}).

The coding theorem and the arithmetic definability of <_T give a new proof of Simpson’s theorem on the complexity of {\rm Th}({\mathcal D}): Not only it is undecidable, but it is recursively isomorphic to the theory of second-order arithmetic. That <_T is definable in first order arithmetic will be shown as part of the second topic.

The results on {\rm Aut}({\mathcal D}) imply that there are only countably many automorphisms of {\mathcal D}, that they are all arithmetically definable, and coincide with the identity above {\bf 0}''. This was then used by Slaman and Shore to prove that the relation R(x,y) iff y=x'is definable in {\mathcal D}.

We then stated Martin’s theorem on Turing Borel determinacy that any degree invariant property which is Borel as a subset of 2^{\mathbb N} and <_T-cofinal holds on a cone.

Advertisements

117b – Turing degrees – Lecture 4

January 16, 2007

We defined languages and structures in the model theoretic sense, and the notion of an embedding between structures of the same language.

We proved that the \Sigma_1 theory of the degrees is decidable by means of forcing:

  • First we reduced the argument to showing that any finite partial order can be embedded in {\mathcal D}.
  • Then we argued that for this it is enough to show that there is an infinite independent family of degrees, where independence means that no element of the family is reducible to the join of finitely many of the other members of the family.
  • Finally, we built such a family using forcing.

117b – Turing degrees – Lecture 3

January 11, 2007

We presented a general framework for forcing arguments, and gave the proof of the existence of incomparable degrees in the language of forcing.

We defined the hierarchy of \Sigma_n formulas and defined theories, the theory of a structure, and what it means for a theory to be decidable.

We want to show that the \Sigma_1 theory of {\mathcal D} is decidable. For this, we will use the technique of forcing to show that there is an infinite set of independent degrees.

Additional reference:

  • Degree structures: local and global investigations, by R. Shore. Bulletin of Symbolic Logic 12 (3) (2006), 369-389.


117b – Turing degrees – Lecture 2

January 9, 2007

We defined the structure {\mathcal D} of the Turing degrees as the quotient of the set of functions f:{\mathbb N}\to{\mathbb N} by the equivalence relation \equiv_T of recursive bi-reducibility, seen as a partial order with the order <_T induced by Turing reducibility. This structure has a least degree and any degree has only countably many predecessors. It is an upper semilattice, and any countably many degrees have a common upper bound.

Generalizing the halting problem, we can define the Turing jump {\bf a}' of any degree {\bf a}. It is strictly above {\bf a} and any A r.e. in {\bf a} is T-reducible to {\bf a}'.

There are incomparable Turing degrees. They can be built by the finite extension method, an example of forcing in recursion theory.


117b – Turing degrees – Lecture 1

January 4, 2007

There are several equivalent characterizations of the notion of being recursive in a function f, namely:

  •  Belonging to the closure of \{f\} under recursive functions and recursive operations.
  •  Being computable using a Turing machine with oracle f.  

The key tool to use this notion is the enumeration theorem.

This material should just be a generalization of notions and results studied in 117a. The following references may be useful for this part of the course:

  • Mathematical Logic,  part II, by R. Cori and D. Lascar. OUP (2001), 0 -19-850050-5
  • Computability: An introduction to recursive function theory, by N. Cutland. Cambridge Univerity Press (1980), 0-521-294657
  • Theory of recursive functions and effective computability, by H. Rogers. MIT press (1987), 0-262-68052-1
  • Computability theory, by B. Cooper. CRC Press (2003), 1-58488-237-9
  • Degrees of unsolvability: Local and global theory, by M. Lerman. Springer (1983), 0-387-12155-2