Recursive Enumerability and the Jump Operator
Open Access
- 1 August 1963
- journal article
- Published by JSTOR in Transactions of the American Mathematical Society
- Vol. 108 (2) , 223-239
- https://doi.org/10.2307/1993604
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 6 references indexed in Scilit:
- On Degrees of UnsolvabilityAnnals of Mathematics, 1959
- A criterion for completeness of degrees of unsolvabilityThe Journal of Symbolic Logic, 1957
- TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)Proceedings of the National Academy of Sciences, 1957
- On Degrees of Recursive UnsolvabilityAnnals of Mathematics, 1956
- The Upper Semi-Lattice of Degrees of Recursive UnsolvabilityAnnals of Mathematics, 1954
- Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1954