4 results
R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 202–242.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 1 / March 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
- Print publication:
- March 1970
-
- Article
- Export citation
Eliminating the continuum hypothesis
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-225
- Print publication:
- 25 July 1969
-
- Article
- Export citation
Gerald E. Sacks. Metarecursively enumerable sets and admissible ordinals. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 59–64. - Gerald E. Sacks. Post's problem, admissible ordinals, and regularity. Transactions of the American Mathematical Society, vol. 124 (1966), pp. 1–23. - Gerald E. Sacks. Metarecursion theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 243–263. - Graham C. DriscollJr., Metarecursively enumerable sets and their metadegrees. The Journal of symbolic logic, vol. 33 (1968), pp. 389–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
- Print publication:
- 29 May 1969
-
- Article
- Export citation
G. Kreisel and Gerald E. Sacks. Metarecursive sets. The journal of symbolic logic, vol. 30 (1965), pp. 318–338.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 622-623
- Print publication:
- January 1969
-
- Article
- Export citation