William W. Boone. Word problems and recursively enumerable degrees of unsolvability. An emendation. Annals of mathematics, ser. 2 vol. 94 (1971), pp. 389–391. - Donald J. Collins. Truth-table degrees and the Boone groups. Annals of mathematics, ser. 2 vol. 94 (1971), pp. 392–396.

1974 ◽  
Vol 39 (1) ◽  
pp. 184-185 ◽  
Author(s):  
Charles E. Hughes
Keyword(s):  
Word Problems ◽  
Truth Table ◽  
Recursively Enumerable ◽  
Degrees Of Unsolvability

A. A. Fridman. Stépéni nérazréšimosti problémy toždéstva v konéčno oprédélénnyh gruppah. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 805–808. - A. A. Fridman. Degrees of insolvability of the word problem in finitely defined groups. English translation of the preceding by Sue Ann Walker. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1733–1737. - C. R. J. Clapham. Finitely presented groups with word problems of arbitrary degrees of insolubility. Proceedings of the London Mathematical Society, ser. 3 vol. 14 (1964), pp. 633–676. - William W. Boone. Finitely presented group whose word problem has the same degree as that of an arbitrarily given Thue system (an application of methods of Britton). Proceedings of the National Academy of Sciences, vol. 53 (1965), pp. 265–269. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A first paper on Thue systems. Annals of mathematics, ser. 2 vol. 83 (1966), pp. 520–571. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups. Annals of mathematics, ser. 2 vol. 84 (1966), pp. 49–84.

1968 ◽  
Vol 33 (2) ◽  
pp. 296-297
Author(s):  
J. C. Shepherdson
Keyword(s):  
Word Problem ◽  
Word Problems ◽  
Nauk Sssr ◽  
London Mathematical Society ◽  
National Academy Of Sciences ◽  
Doklady Akademii Nauk Sssr ◽  
Finitely Presented Groups ◽  
Recursively Enumerable ◽  
Finitely Presented ◽  
Degrees Of Unsolvability

The theory of the recursively enumerable weak truth-table degrees is undecidable

1992 ◽  
Vol 57 (3) ◽  
pp. 864-874 ◽  
Author(s):  
Klaus Ambos-Spies ◽  
André Nies ◽  
Richard A. Shore
Keyword(s):  
Partial Order ◽  
Open Problem ◽  
Truth Table ◽  
Recursively Enumerable ◽  
Undecidable Theory ◽  
Weak Truth Table Degrees

AbstractWe show that the partial order of -sets under inclusion is elementarily definable with parameters in the semilattice of r.e. wtt-degrees. Using a result of E. Herrmann, we can deduce that this semilattice has an undecidable theory, thereby solving an open problem of P. Odifreddi.

Minimal degrees and the jump operator

1973 ◽  
Vol 38 (2) ◽  
pp. 249-271 ◽  
Author(s):  
S. B. Cooper
Keyword(s):  
Minimal Degree ◽  
Partial Ordering ◽  
Jump Operator ◽  
Upper Semilattice ◽  
Recursively Enumerable ◽  
Original Number ◽  
Nonzero Degree ◽  
The Relationship ◽  
Degrees Of Unsolvability

The jump a′ of a degree a is defined to be the largest degree recursively enumerable in a in the upper semilattice of degrees of unsolvability. We examine below some of the ways in which the jump operation is related to the partial ordering of the degrees. Fried berg [3] showed that the equation a = x′ is solvable if and only if a ≥ 0′. Sacks [13] showed that we can find a solution of a = x′ which is ≤ 0′ (and in fact is r.e.) if and only if a ≥ 0′ and is r.e. in 0′. Spector [16] constructed a minimal degree and Sacks [13] constructed one ≤ 0′. So far the only result concerning the relationship between minimal degrees and the jump operator is one due to Yates [17] who showed that there is a minimal predecessor for each non-recursive r.e. degree, and hence that there is a minimal degree with jump 0′. In §1, we obtain an analogue of Friedberg's theorem by constructing a minimal degree solution for a = x′ whenever a ≥ 0′. We incorporate Friedberg5s original number-theoretic device with a complicated sequence of approximations to the nest of trees necessary for the construction of a minimal degree. The proof of Theorem 1 is a revision of an earlier, shorter presentation, and incorporates many additions and modifications suggested by R. Epstein. In §2, we show that any hope for a result analogous to that of Sacks on the jumps of r.e. degrees cannot be fulfilled since 0″ is not the jump of any minimal degree below 0′. We use a characterization of the degrees below 0′ with jump 0″ similar to that found for r.e. degrees with jump 0′ by R. W. Robinson [12]. Finally, in §3, we give a proof that every degree a ≤ 0′ with a′ = 0″ has a minimal predecessor. Yates [17] has already shown that every nonzero r.e. degree has a minimal predecessor, but that there is a nonzero degree ≤ 0′ with no minimal predecessor (see [18]; or for the original unrelativized result see [10] or [4]).

Sign in / Sign up

Export Citation Format

Share Document