Reviews
Tibor Rado. On a simple source for non-computable functions. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 75–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
-
- Article
- Export citation
S. Tennenbaum. Degree of unsolvability and the rate of growth of functions. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 71–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
-
- Article
- Export citation
Raymond M. Smullyan. Extended canonical systems. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 440–442.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
-
- Article
- Export citation
S. Ú. Maslov. Nékotoryé svojstva apparata kanoničéskih isčislénij E. L. Posta (some properties of E. L. Post's apparatus of canonical systems). Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 5–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 524-526
-
- Article
- Export citation
S. Ú. Maslov. O “Tag”-problémé E. L. Posta (On the “Tag” problem of E. L. Post). Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 57–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-527
-
- Article
- Export citation
S. Ú. Maslov. Préobrazovanié proizvol′nyh kanoničéskih isčislénij v kanoničéskié isčisléniá spécial′nyh tipov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 779–782. - S. Ju. Maslov. Transformation of arbitrary canonical calculi into canonical calculi of special types. English translation of the preceding by R. N. Gdss. Soviet mathematics, vol. 3 no. 6 (1963), pp. 1708–1711.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
-
- Article
- Export citation
Norman Shapiro. Functions which remain partial recursive under all similarity transformations. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 17–19.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
-
- Article
- Export citation
J. C. E. Dekker. The minimum of two regressive isols. Mathematische Zeitschrift, vol. 83 (1964), pp. 345–366.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
-
- Article
- Export citation
Joseph Barback. Two notes on regressive isols. Pacific journal of mathematics, vol. 15 (1966), pp. 407–420.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-528
-
- Article
- Export citation
Gerald E. Sacks. A maximal set which is not complete. Michigan mathematical journal, vol. 11 (1964), pp. 193–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation
Donald A. Martin. Classes of recursively enumerable sets and degrees of unsolvability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12(1966), pp. 295–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation
Donald A. Martin. On a question of G. E. Sacks. The journal of symbolic logic, vol. 31 (1966), pp. 66–69.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 528-529
-
- Article
- Export citation
Gerald E. Sacks. On a theorem of Lachlan and Martin. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 140–141.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 529
-
- Article
- Export citation
J. R. Shoenfield. A theorem on minimal degrees. The journal of symbolic logic, vol. 31 (1966), pp. 539–544.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 529
-
- Article
- Export citation
Ann H. Ihrig. The Post-Lineal theorems for arbitrary recursively enumerable degrees of unsolvability. Notre Dame journal of formal logic, vol. 6 no. 1 (1965), pp. 54–72.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 529
-
- Article
- Export citation
Yiannis N. Moschovakis. Many-one degrees of the predicates Ha(x). Pacific journal of mathematics, vol. 18 (1966), pp. 329–342.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-530
-
- Article
- Export citation
A. Ehrenfeucht and S. Feferman. Representability of recursively enumerable sets informal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 no. 1–2 (1959), pp. 37–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 530
-
- Article
- Export citation
Solomon Feferman. Transfinite recursive progressions of axiomatic theories. The journal of symbolic logic, vol. 27 no. 3 (for 1962, pub. 1963), pp. 259–316.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 530-531
-
- Article
- Export citation
S. Feferman and C. Spector. Incompleteness along paths in progressions of theories. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 383–390.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 531
-
- Article
- Export citation
Daniel Lacombe. Sur la méthode extensive en métamathématique. La revue scientifique, vol. 85 (1947), pp. 515–518.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 531
-
- Article
- Export citation