This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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
Editors and Affiliations
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
