PA degree

PA degree

In recursion theory, a mathematical discipline, a PA degree is a Turing degree that computes a complete extension of Peano arithmetic (Jockusch 1987). These degrees are closely related to fixed-point-free (DNR) functions, and have been thoroughly investigated in recursion theory.

Contents

Background

In recursion theory, φe denotes the computable function with index e in some standard numbering of computable functions, and \phi^B_e denotes the eth computable function using a set B of natural numbers as an oracle.

A set A of natural numbers is Turing reducible to a set B if there is a computable function that, given an oracle for set B, computes that characteristic function χA of the set A. That is, there is an e such that \chi_A = \phi^B_e. This relationship is denoted AT B; the relation ≤T is a preorder.

Two sets are Turing equivalent if each is Turing reducible to the other. The notation AT B indicates A and B are Turing equivalent. The relation ≡T is an equivalence relation known as Turing equivalence. A Turing degree is a collection of sets of natural numbers, such that any two sets in the collection are Turing equivalent. Equivalently, a Turing degree is an equivalence class of the relation ≡T.

The Turing degrees are partially ordered by Turing reducibility. The notation aT b indicates there is a set in degree b that computes a set in degree a. Equivalently, aT b holds if and only if every set in b computes every set in a.

A function f from the natural numbers to the natural numbers is said to be diagonally nonrecursive (DNR) if, for all n, f(n) \not = \phi_n(n) (here inequality holds by definition if φn(n) is undefined). If the range of f is the set {0,1} then f is a DNR2 function. It is known that there are DNR functions that do not compute any DNR2 function.

Completions of Peano arithmetic

A completion of Peano arithmetic is a set of formulas in the language of Peano arithmetic, such that the set is consistent in first-order logic and such that, for each formula, either that formula or its negation is included in the set. Once a Gödel numbering of the formulas in the language of PA has been fixed, it is possible to identify completions of PA with sets of natural numbers, and thus to speak about the computability of these completions.

A Turing degree is defined to be a PA degree if there is a set in the degree that computes a completion of PA. This is equivalent to the proposition that every set in the degree computes a completion of PA. Because there are no computable completions of PA, the degree 0 consisting of the computable sets of natural numbers is not a PA degree.

Because PA is an effective first-order theory, the completions of PA can be characterized as the infinite paths through a particular computable subtree of 2. Thus the PA degrees are exactly the degrees that compute an infinite path through this tree.

Properties

The PA degrees are upward closed in the Turing degrees: if a is a PA degree and aT b then b is a PA degree.

The Turing degree 0‘, which is the degree of the halting problem, is a PA degree. There are also PA degrees that are not above 0‘. For example, the low basis theorem implies that there is a low PA degree. On the other hand, Antonín Kučera has proved that there is a degree less than 0‘ that computes a DNR function but is not a PA degree (Jockusch 1989:197).

Carl Jockusch and Robert Soare (1972) proved that the PA degrees are exactly the degrees of DNR2 functions.

By definition, a degree is PA if and only if it computes a path through the tree of completions of Peano arithmetic. A stronger property holds: a degree a is a PA degree if and only if a computes a path through every infinite computable subtree of 2 (Simpson 1977).

See also

References

  • Carl Jockusch (1987), "Degrees of functions with no fixed points", Logic Colloquium '87, Fenstad, Frolov, and Hilpinen, eds., North-Holland, ISBN 0444880224.
  • Carl Jockusch and Robert Soare (1972), "Π01 classes and degrees of theories", Transactions of the American Mathematical Society, v. 173, pp. 33–56.
  • Stephen G. Simpson (1977), "Degrees of unsolvability: a survey of results", Handbook of Mathematical Logic, Barwise (ed.), North-Holland, pp. 631–652.

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Degree — may refer to: Contents 1 As a unit of measurement 2 In mathematics 3 In education …   Wikipedia

  • Degree — De*gree , n. [F. degr[ e], OF. degret, fr. LL. degradare. See {Degrade}.] 1. A step, stair, or staircase. [Obs.] [1913 Webster] By ladders, or else by degree. Rom. of R. [1913 Webster] 2. One of a series of progressive steps upward or downward,… …   The Collaborative International Dictionary of English

  • Degree of a curve — Degree De*gree , n. [F. degr[ e], OF. degret, fr. LL. degradare. See {Degrade}.] 1. A step, stair, or staircase. [Obs.] [1913 Webster] By ladders, or else by degree. Rom. of R. [1913 Webster] 2. One of a series of progressive steps upward or… …   The Collaborative International Dictionary of English

  • Degree of a surface — Degree De*gree , n. [F. degr[ e], OF. degret, fr. LL. degradare. See {Degrade}.] 1. A step, stair, or staircase. [Obs.] [1913 Webster] By ladders, or else by degree. Rom. of R. [1913 Webster] 2. One of a series of progressive steps upward or… …   The Collaborative International Dictionary of English

  • Degree of latitude — Degree De*gree , n. [F. degr[ e], OF. degret, fr. LL. degradare. See {Degrade}.] 1. A step, stair, or staircase. [Obs.] [1913 Webster] By ladders, or else by degree. Rom. of R. [1913 Webster] 2. One of a series of progressive steps upward or… …   The Collaborative International Dictionary of English

  • Degree of longitude — Degree De*gree , n. [F. degr[ e], OF. degret, fr. LL. degradare. See {Degrade}.] 1. A step, stair, or staircase. [Obs.] [1913 Webster] By ladders, or else by degree. Rom. of R. [1913 Webster] 2. One of a series of progressive steps upward or… …   The Collaborative International Dictionary of English

  • degree — de·gree n 1: a step in a direct line of descent or in the line of ascent to a common ancestor 2 a: a measure of the seriousness of a crime see also fifth degree, first degree, f …   Law dictionary

  • degree — [di grē′] n. [ME degre < OFr degré, degree, step, rank < VL * degradus < degradare: see DEGRADE] 1. any of the successive steps or stages in a process or series 2. a step in the direct line of descent [a cousin in the second degree] 3.… …   English World dictionary

  • degree — In Sheridan s The Rivals (1775), we find the assertion Assuredly, sir, your father is wrath to a degree, meaning ‘your father is extremely cross’. The use survived in more florid English into the 20c and was accepted by Fowler (1926) ‘however… …   Modern English usage

  • Degree Girl: OMG! Jams — Saltar a navegación, búsqueda Degree Girl: OMG! Jams EP de Ashley Tisdale Publicación 1 de junio de 2008 Grabación Los Ángeles …   Wikipedia Español

  • Degree of relationship — is a measurement of kinship, and may generally be measured as either one vertical or horizontal step in a standard family tree. A first degree relative is a family member who shares about 50 percent of their genes with a particular individual in… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”