On the use of Diagonally Nonrecursive Functions
- 1 January 1989
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- An alternative, priority-free, solution to Post's problemPublished by Springer Nature ,2005
- Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal coversThe Journal of Symbolic Logic, 1984
- ∏ 0 1 Classes and Degrees of TheoriesTransactions of the American Mathematical Society, 1972
- The definition of random sequencesInformation and Control, 1966
- Recursive enumerability and the jump operatorTransactions of the American Mathematical Society, 1963
- Algebras of sets binumerable in complete extensions of arithmeticProceedings of Symposia in Pure Mathematics, 1962
- Undecidable and creative theoriesFundamenta Mathematicae, 1960
- A generalization of the incompleteness theoremFundamenta Mathematicae, 1960
- On the concept of a random sequenceBulletin of the American Mathematical Society, 1940