16 results
Peter G. Hinman. Recursion-theoretic hierarchies. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1978, XII + 480 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-498
- Print publication:
- June 1983
-
- Article
- Export citation
Yiannis N. Moschovakis. Elementary induction on abstract structures. Studies in logic and the foundations of mathematics, vol. 77. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, x + 218 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
- Print publication:
- March 1979
-
- Article
- Export citation
N. V. Belyakin. A variation of Richter's construction of ordinals. English translation of X L 517. Algebra and logic (New York), vol. 8 (1969), pp. 86–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
- Print publication:
- December 1975
-
- Article
- Export citation
Thomas J. Grilliot. Omitting types: application to recursion theory. The journal of symbolic logic, vol. 37 (1972), pp. 81–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- March 1975
-
- Article
- Export citation
Hisao Tanaka. On analytic well-orderings. The journal of symbolic logic, vol. 35 (1970), pp. 198–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 155
- Print publication:
- March 1973
-
- Article
- Export citation
J. R. Shoenfield. A hierarchy based on a type two object. Transactions of the American Mathematical Society, vol. 134 (1968), pp. 103–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
- Print publication:
- June 1971
-
- Article
- Export citation
T. G. McLaughlin. Some remarks on extensibility, confluence of paths, branching properties, and index sets, for certain recursively enumerable graphs. Illinois journal of mathematics, vol. 11 (1967), pp. 257–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 518
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Akiko Kino. A note on constructive ordinals. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 4 (1964), pp. 189–198. (Reprinted from Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, sponsored jointly by the Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 51–64.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Gaisi Takeuti and Akiko Kino. On hierarchies of predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 (1962), pp. 199–232. - Akiko Kino and Gaisi Takeuti. A note on predicates of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 14 (1962), pp. 367–378.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Constructively accessible ordinal numbers1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-55
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Hilary Putnam. On hierarchies and systems of notations. Proceedings of the American Mathematical Society, vol. 15 (1964), pp. 44–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 136-137
- Print publication:
- March 1966
-
- Article
- Export citation
Hilary Putnam. Uniqueness ordinals in higher constructive number classes. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 190–206.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
- Print publication:
- March 1966
-
- Article
- Export citation
D. L. Kreider and Hartley RogersJr, Constructive versions of ordinal number classes. Transactions of the American Mathematical Society, vol. 100 (1961), pp. 325–369.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-135
- Print publication:
- March 1966
-
- Article
- Export citation
Extensions of the constructive ordinals1
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-211
- Print publication:
- June 1965
-
- Article
- Export citation
R. O. Gandy. On a problem of Kleene's. Bulletin of the American Mathematical Society, vol. 66 (1960), pp. 501–502.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
- Print publication:
- June 1964
-
- Article
- Export citation
R. O. Gandy. Proof of Mostowski's conjecture. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 (1960), pp. 571–575.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 2 / June 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
- Print publication:
- June 1964
-
- Article
- Export citation