Orderings with th jump degree

Authors:
Rodney Downey and Julia F. Knight

Journal:
Proc. Amer. Math. Soc. **114** (1992), 545-552

MSC:
Primary 03D45; Secondary 03C57, 03D30

MathSciNet review:
1065942

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: This paper completes an investigation of "jumps" of orderings. The last few cases are given in the proof that for each recursive ordinal and for each Turing degree , there is a linear ordering such that is least among the th jumps of degrees of (open diagrams of) isomorphic copies of , and for , the set of jumps of degrees of copies of has no least element.

**[AJK]**C. J. Ash, C. G. Jockusch Jr., and J. F. Knight,*Jumps of orderings*, Trans. Amer. Math. Soc.**319**(1990), no. 2, 573–599. MR**955487**, 10.1090/S0002-9947-1990-0955487-0**[AK]**C. J. Ash and J. F. Knight,*Pairs of recursive structures*, Ann. Pure Appl. Logic**46**(1990), no. 3, 211–234. MR**1049387**, 10.1016/0168-0072(90)90004-L**[AKMS]**Chris Ash, Julia Knight, Mark Manasse, and Theodore Slaman,*Generic copies of countable structures*, Ann. Pure Appl. Logic**42**(1989), no. 3, 195–205. MR**998606**, 10.1016/0168-0072(89)90015-8**[JS]**C. G. Jockusch and R. I. Soare,*Degrees of linear orderings not isomorphic to recursive ones*, Ann. of Pure and Appl. Logic (to appear).**[K]**Julia F. Knight,*Degrees coded in jumps of orderings*, J. Symbolic Logic**51**(1986), no. 4, 1034–1042. MR**865929**, 10.2307/2273915**[Ri]**Linda Jean Richter,*Degrees of structures*, J. Symbolic Logic**46**(1981), no. 4, 723–731. MR**641486**, 10.2307/2273222**[Ro]**Hartley Rogers Jr.,*Theory of recursive functions and effective computability*, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1967. MR**0224462****[W]**Richard Watnick,*A generalization of Tennenbaum’s theorem on effectively finite recursive linear orderings*, J. Symbolic Logic**49**(1984), no. 2, 563–569. MR**745385**, 10.2307/2274189

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC:
03D45,
03C57,
03D30

Retrieve articles in all journals with MSC: 03D45, 03C57, 03D30

Additional Information

DOI:
http://dx.doi.org/10.1090/S0002-9939-1992-1065942-0

Article copyright:
© Copyright 1992
American Mathematical Society