6 results
Gerald E. Sacks. Recursive enumerability and the jump operator. Transactions of the American Mathematical Society, vol. 108 (1963), pp. 223–239.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 204
- Print publication:
- December 1964
-
- Article
- Export citation
J. W. Addison. Separation principles in the hierarchies of classical and effective descriptive set theory. Fundamenta mathematicae, vol. 46 no. 2 (1959), pp. 123–135. - J. W. Addison. The theory of hierarchies. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 26–37. - J. W. Addison. Some problems in hierarchy theory. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 123–130.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-62
- Print publication:
- March 1964
-
- Article
- Export citation
S. C. Kleene. Countable functionals. Constructivity in mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 81–100. - S. C. Kleene. Recursive functionals of higher finite types. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton1960, pp. 148–154.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-360
- Print publication:
- September 1962
-
- Article
- Export citation
Stephen C. Kleene. Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences. Logique et analyse (Louvain), n.s. vol. 3 (1960), pp. 154–165.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
- Print publication:
- June 1962
-
- Article
- Export citation
S. C. Kleene. Realizability. Constructivity In mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 285–289. - S. C. Kleene. Realizability. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 100–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
- Print publication:
- June 1962
-
- Article
- Export citation
J. C. E. Dekker and J. Myhill. Recursive equivalence types. University of California publications in mathematics, n.s. vol. 3 no. 3 (1960), pp. 67–214. - J. C. E. Dekker. Congruences in isols with a finite modulus. Mathematische Zeitschrift, vol. 70 (1958), pp. 113–124. - J. Myhill. Recursive equivalence types and combinatorial functions. Bulletin of the American Mathematical Society, vol. 64 (1958), pp. 373–376. - J. C. E. Dekker. The factorial function for isols. Mathematische Zeitschrift, vol. 70 (1958), pp. 250–262. - J. C. E. Dekker and J. Myhill. The divisibility of isols by powers of primes. Mathematische Zeitschrift, vol. 73 (1960). pp. 127–133. - J. C. E. Dekker. An expository account of isols. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 189–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 356-359
- Print publication:
- December 1960
-
- Article
- Export citation