Reviews
T. G. McLaughlin. Co-immune retraceable sets. Bulletin of the American Mathematical Society, vol. 71 (1965), pp. 523–525.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
-
- Article
- Export citation
J. R. Shoenfield. Undecidable and creative theories. Fundamenta mathematicae, vol. 49 no. 2 (1961), pp. 171–179.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 123
-
- Article
- Export citation
Arnold Oberschelp. Ein Satz über die Unlösbarkeitsgrade der Mengen von natürlichen Zahlen. Abhandlungen der Braunschweigische Wissenschaftliche Gesellschaft (Brunswick), vol. 12 (1960), pp. 1–3.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 124
-
- Article
- Export citation
Gustav Hensel and Hilary Putnam. On the notational independence of various hierarchies of degrees of unsolvability. The journal of symbolic logic, vol. 30 (1965), pp. 69–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
-
- Article
- Export citation
A. H. Lachlan. On a problem of G. E. Sacks. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 972–979.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 125
-
- Article
- Export citation
Ronald Harrop. A relativization procedure for propositional calculi, with an application to a generalized form of Post's theorem. Proceedings of the London Mathematical Society, vol. 14 (1964), pp. 595–617. - Ronald Harrop. Some generalizations and applications of a relativization procedure for propositional calculi. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 12–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
-
- Article
- Export citation
J. L. Britton. Solution of the word problem for certain types of groups. I.Proceedings of the Glasgow Mathematical Association, vol. 3 (1956–1958), pp. 45–54. - J. L. Britton. Solution of the word problem for certain types of groups. II.Proceedings of the Glasgow Mathematical Association, vol. 3 (1956–1958), pp. 68–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
-
- Article
- Export citation
Joseph R. Rotman. The theory of groups. An introduction. Allyn and Bacon, Inc., Boston1965, xiii + 305 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
-
- Article
- Export citation
I. N. Hlodovskij. Novoé dokazatél′stvo néprotivoréčivosti arifmétiki. Uspéhi matématičéskih nauk, vol. 14 no. 6 (1959), pp. 105–140. - I. N. Hlodovskií. A new proof of the consistency of arithmetic. English translation of the preceding by Moshe Machover. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 191–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
-
- Article
- Export citation
Clifford Spector. Provably recursive functionals of analysis: A consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 1–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
-
- Article
- Export citation
Elliott Mendelson. On non-standard models for number theory. 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. 259–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
-
- Article
- Export citation
Thoralf Skolem. Bemerkungen zum Komprehensionsaxiom. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 1–17. - C. C. Chang. The axiom of comprehension in infinite valued logic. Mathematica Scandinavica, vol. 13 (1963), pp. 9–30. - Jens Erik Fenstad. On the consistency of the axiom of comprehension in the Łukasiewicz infinite valued logic. Mathematica Scandinavica, vol. 14 (1964), pp. 65–74. - C. C. Chang. Infinite valued logic as a basis for set theory. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 93–100.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
Paul J. Cohen. Independence results in set theory. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 39–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
-
- Article
- Export citation
Andrzej Mostowski. Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic. 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. 269–286.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
-
- Article
- Export citation
Alfred Tarski and Robert L. Vaught. Arithmetical extensions of relational systems. Compositio mathematica, vol. 13 no. 2 (1957), pp. 81–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
A. Tarski and R. L. Vaught. Elementary (arithmetical) extensions. 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. 51–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
W. A. J. Luxemburg. A remark on Sikorski's extension theorem for homomorphisms in the theory of Boolean algebras. Fundamenta mathematicae, vol. 55 (1964), pp. 239–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
H. Gaifman. Infinite Boolean polynomials I.Fundamenta mathematicae, vol. 54 (1964), pp. 229–250. (See Errata, ibid., vol. 57 no. 1 (1965), p. 117.) - A. W. Hales. On the non-existence of free complete Boolean algebras. Fundamenta mathematicae, vol. 54 (1964), pp. 45–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 131-132
-
- Article
- Export citation
George W. Day. Free complete extensions of Boolean algebras. Pacific journal of mathematics, vol. 15 (1965), pp. 1145–1151.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation
Robert M. Solovay. New proof of a theorem of Gaifman and Hales. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 282–284.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
-
- Article
- Export citation