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
D.A. Martin, The priority method of Sacks, mimeographed.
R.M. Friedberg, Two recursively enumerable sets of incomparable degrees of unsolvability, Proc. Nat. Acad. Sci. U.S.A. 43 (1957), 236–238.
A.H. Lachlan, Lower bounds for pairs of recursively enumerable degrees, Proc. London Math. Soc. (3) 16 (1966), 537–569.
_____, The priority method I, Zeitschr. f. math. Logik und Grundlagen Math. 13 (1967), 1–10.
A.A. Mučnik, Negative answer to the problem of reducibility of the theory of algorithms (Russian), Dokl. Akad. Nank SSSR 108 (1956), 194–197.
_____, Solution of Post's reduction problem and of certain other problems in the theory of algorithms (Russian), Trudy Moskov. Mat. Obsc. 7 (1958), 391–405.
J. Myhill, Review of [6], Math. Reviews #5570 22 (1967), 930.
G.E. Sacks, On the degrees less than 0′. Ann. of Math. 77 (1963), 211–231.
_____, Degrees of Unsolvability, Ann. of Math. Studies 55, Princeton, 1963.
_____, The recursively enumerable degrees are dense, Ann. of Math. 80 (1964), 300–312.
C.E.M. Yates, A minimal pair of recursively enumerable degrees, J. Symb. Logic 31 (1966), 159–168.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1973 Springer-Verlag
About this paper
Cite this paper
Lachlan, A.H. (1973). The priority method for the construction of recursively enumerable sets. In: Mathias, A.R.D., Rogers, H. (eds) Cambridge Summer School in Mathematical Logic. Lecture Notes in Mathematics, vol 337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0066779
Download citation
DOI: https://doi.org/10.1007/BFb0066779
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-05569-3
Online ISBN: 978-3-540-36884-7
eBook Packages: Springer Book Archive