On the Commutativity of Jumps
McNicholl, Timothy H.
J. Symbolic Logic, Tome 65 (2000) no. 1, p. 1725-1748 / Harvested from Project Euclid
We study the following classes: $Q* (r_1 A_1,..., r_kA_k)$ which is defined to be the collection of all sets that can be computed by a Turing machine that on any input makes a total of $r_i$ queries to $A_i$ for all $i \in \{1,..., k\}$. $Q(r_1A_1,...,r_kA_k)$ which is defined like $Q* (r_1A_1,..., r_kA_k)$ except that queries to $A_i$ must be made before queries to $A_{i+1}$ for all $i \in \{1,..., k - 1\}$. $QC(r_1A_1,..., r_kA_k)$ which is defined like $Q(r_1A_1,..., r_kA_k)$ except that the Turing machine must halt even if given incorrect answers to some of its queries. We show that if $A_1,..., A_k$ are jumps that are not too close together, then all three of these classes are identical and are not changed if we permute $(r_1A_1,..., r_kA_k)$. This extends a result of Beigel's [1]. Since the second class is not affected by permutations, we say that these sets commute with each other. We also show that jumps that are too close together may not commute. We also characterize the commutative sequences of sets obtained by iterating the jump operation through an ordinal notation.
Publié le : 2000-12-14
Classification: 
@article{1183746260,
     author = {McNicholl, Timothy H.},
     title = {On the Commutativity of Jumps},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 1725-1748},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746260}
}
McNicholl, Timothy H. On the Commutativity of Jumps. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  1725-1748. http://gdmltest.u-ga.fr/item/1183746260/