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
Arslanov, M.M., Nadirov, R.F., Solovev, V.D. (1977) Completeness criteria for recursively enumerable sets and some general theorems on fixed points, Mathematical University News 179, 3–7.
Demuth, O. (1982) On some classes of arithmetical real numbers, Comment. Math. Univ. Carolinae 23, 453–465. (Russian)
Demuth, O., Kučera, A. (1979) Remarks on constructive mathematical analysis, Logic Colloquium '78 (Boffa, van Dalen, McAloon ed.), North-Holland, Amsterdam, 81–129.
Jockusch, C.G.Jr. (1980) Degrees of generic sets, in Recursion theory: its generalizations and applications, (Drake, Wainer ed.) Cambridge Univ. Press, 110–139.
Jockusch, C.G.Jr., Posner, D. (1978) Double jumps of minimal degrees, J. Symbolic Logic 43, 715–724.
Jockusch, C.G.Jr., Soare, R.I. (1972a) Degrees of members of Π 01 classes Pacific J. Math. 40, 605–616.
Jockusch, C.G.Jr., Soare, R.I. (1972b) Π 01 classes and degrees of theories, Trans. Amer. Math. Soc. 173, 33–56.
Lerman, M. (1983) Degrees of unsolvability, Local and global theory, Springer-Verlag, Berlin, Heidelberg, New York, Tokyo.
Martin-Löf, P. (1970) Notes on constructive mathematics, Almqvist and Wiksell, Stockholm.
Posner, D. (1977) High degrees, Doctoral dissertation, University of California, Berkeley.
Posner, D., Robinson, R.W. (1981) Degrees joining to O′, J. Symbolic Logic 46, 714–722.
Rogers, H.Jr. (1967) Theory of recursive functions and effective computability, McGraw-Hill, New York.
Sacks, G.E. (1963) Degrees of unsolvability, Annals of Math. Studies 55, Princeton University Press, Princeton, N.J.
Simpson, S.G. (1977) Degrees of unsolvability: A survey of results, Handbook of Mathematical Logic (J. Barwise ed.), North-Holland, Amsterdam, 631–652.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag
About this paper
Cite this paper
Kučera, A. (1985). Measure, Π 01 -classes and complete extensions of PA. 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/BFb0076224
Download citation
DOI: https://doi.org/10.1007/BFb0076224
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