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
M.M. Arslanov (1981) On some generalizations of the theorem on fixed points, Izv. Vyssh. Uchebn. Zaved. Mat. 228, No 5, 9–16 (Russian).
M.M. Arslanov, R.F. Nadirov, V.D. Solov'ev (1977) Completeness criteria for recursively enumerable sets and some general theorems on fixed points, Izv. Vyssh. Uchebn. Zaved. Mat. 179, No 4, 3–7, (Russian).
G.J.Chaitin (1977) Algorithmic information theory, IBM Journal of Research and Development, July 1977, 350–359.
O. Demuth (1975) On constructive pseudonumbers, Comment. Math. Univ. Carolinae 16, 315–331 (Russian).
O. Demuth (1982) On some classes of arithmetical real numbers, Comment. Math. Univ. Carolinae 23, 453–465 (Russian).
C.G.Jockusch, Jr., M.Lerman, R.I.Soare, R.M.Solovay (1989) Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion, to appear in J. Symbolic Logic.
C.G. Jockusch, Jr., R.A. Shore (1984) Pseudo jump operators. II: Transfinite iterations, hierarchies, and minimal covers, J. Symbolic Logic 49, 1205–1236.
C.G. Jockusch,Jr., R.I. Soare (1972) Π 01 classes and degrees of theories, Trans. Amer. Math. Soc. 173, 33–56.
C.G. Jockusch,Jr., R.I. Soare (1972) Degrees of members of Π 01 classes, Pacific J. Math., 40, 605–616.
A.Kučera (1985) Measure Π 01 -classes and complete extensions of PA, In: Recursion Theory Week, Proceedings (Ebbinghaus, Müller, Sacks editors), Lect. Notes in Math. No. 1141, Springer-Verlag, 245–259.
A.Kučera (1986) An alternative, priority-free, solution to Post's problem, In: Proceedings, MFCS'86 (Gruska, Rovan, Wiedermann editors.), Lect. Notes in Comp. Science, No. 233, Springer-Verlag, 493–500.
A.Kučera (1989) On the use of diagonally nonrecursive functions, In: Proceedings, Logic Colloquium'87 (Ebbinghaus et al. editors), North-Holland, 219–239.
S.A.Kurtz (1981) Randomness and genericity in the degrees of unsolvability, PhD thesis, Univ. of Illinois at Urbana-Champaign.
S.A.Kurtz (ta) A note on random sets, to appear.
P. Martin-Löf (1966) The definition of random sequences, Information and Control, 9, 602–619.
G.E. Sacks (1963) Degrees of unsolvability, Annals of Math. Studies 55, Princeton University Press, Princeton, N.J.
R.I.Soare (1987) Recursively enumerable sets and degrees: A study of computable functions and computably generated sets, Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag
About this paper
Cite this paper
Kučera, A. (1990). Randomness and generalizations of fixed point free functions. In: Ambos-Spies, K., Müller, G.H., Sacks, G.E. (eds) Recursion Theory Week. Lecture Notes in Mathematics, vol 1432. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0086121
Download citation
DOI: https://doi.org/10.1007/BFb0086121
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52772-5
Online ISBN: 978-3-540-47142-4
eBook Packages: Springer Book Archive