Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
DEGTEV: Some result on uppersemilattices and m-degrees. Alg. and Log. 18 (1979) 664–679.
EPSTEIN: Degrees of unsolvability: Structure and Theory. Lecture Notes in Math. 759 (1979).
ERSHOV: The uppersemilattice of numerations of a finite set. Alg. and Log. 14 (1975) 159–175.
LACHLAN: Initial segments of many-one degrees. Can. J. Math. 22 (1970) 75–85.
_____: Two theorems on many-one degrees of r.e. sets. Alg. and Log. 11 (1972) 127–132.
_____: Recursively enumerable many-one degrees. und Log. 11 (1972) 186–202.
LERMAN: Degrees of Unsolvability. Springer-Verlag 1983.
NERODE-SHORE: Second-order logic and first-order theories of reducibility orderings. In: The Kleene Symposium, Barwise et al. eds., North-Holland (1980) 181–200.
ODIFREDDI: Strong reducibilities. Bull. Am. Math. Soc. 4 (1981) 37–86.
_____: Forcing and reducibilities, J. Symb. Log. 48 (1983) 288–310, 724–743, 1013–1034.
_____: Classical Recursion Theory. Springer-Verlag, to appear.
PALIUTIN: Addendum to ERSHOV [75]. Alg. and Log. 14 (1975) 175–177.
POST: Recursively enumerable sets of positive integers and their decision properties. Bull. Am. Math. Soc. 50 (1944) 284–316.
SHORE: The theories of the truth-table and Turing degrees are not elementarily equivalent. In: Logic Colloquium 1980, Van Dalen et al. eds., North-Holland (1982) 231–237.
_____: The arithmetic and Turing degrees are not elementarily equivalent, to appear.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Odifreddi, P. (1985). The structure of m-degrees. In: Ebbinghaus, HD., Müller, G.H., Sacks, G.E. (eds) Recursion Theory Week. Lecture Notes in Mathematics, vol 1141. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0076227
Download citation
DOI: https://doi.org/10.1007/BFb0076227
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15673-4
Online ISBN: 978-3-540-39596-6
eBook Packages: Springer Book Archive