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
G. Driscoll, Contributions to metarecursion theory, Ph.D. Thesis, Cornell University, Ithaca, N.Y., 1965.
R. M. Friedberg, Three theorems on recursive enumeration, Journal of Symbolic Logic 23 (1958), 309–316.
_____, Two recursively enumerable sets of incomparable degrees of unsolvability, Proceedings of the National Academy of Science, U.S.A., 43(1957), 236–238.
C. Jockusch and R. I. Soare, A minimal pair of π o1 classes, Journal of Symbolic Logic 36(1971), 66–78.
A. H. Lachlan, Lower bounds for pairs of recursively enumerable degrees, Proceedings of the London Mathematical Society (3) 16(1966), 537–569.
_____, The priority method for the construction of recursively enumerable sets, These Proceedings.
M. Lerman, On suborderings of the α-recursively enumerable α-degrees, to appear.
_____ and G. E. Sacks, On minimal pairs of α-recursively enumerable α-degrees, to appear.
H. Rogers, Jr., Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967.
G. E. Sacks, Post's problem, admissible ordinals, and regularity, Transactions of the American Mathematical Society 124(1966), 1–23.
_____ and S. Simpson, The Friedberg Muchnik theorem in α-recursion theory, to appear.
C. E. M. Yates, A minimal pair of recursively enumerable degrees, Journal of Symbolis 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
Lerman, M. (1973). Admissible ordinals and priority arguments. 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/BFb0066780
Download citation
DOI: https://doi.org/10.1007/BFb0066780
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