Keywords
- Initial Segment
- Measure Zero
- Total Tree
- Recursive Function
- True Answer
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
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
Editors and Affiliations
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
