Contents
Reviews
Abraham Robinson. Non-standard analysis. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 64 (1961), pp. 432–440; also Indagationes mathematicae, vol. 23 (1961), pp. 432-440. - Abraham Robinson. Topics in non-Archimedean mathematics. 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. 285–298. - Abraham Robinson. On generalized limits and linear functionals. Pacific journal of mathematics, vol. 14 (1964), pp. 269–283. - Alan R. Bernstein and Abraham Robinson. Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos.Pacific journal of mathematics, vol. 16 (1966), pp. 421–431. - Abraham Robinson. Non-standard analysis.Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1966, xi + 293 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-294
-
- Article
- Export citation
Gerald E. Sacks. The recursively enumerable degrees are dense. Annals of mathematics, ser. 2 vol. 80 (1964), pp. 300–312.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
-
- Article
- Export citation
Gerald E. Sacks. A minimal degree less than O'. Bulletin of the American Mathematical Society, vol. 67 (1961), pp. 416–419.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
-
- Article
- Export citation
C. Spector. Inductively defined sets of natural numbers. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 97–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
-
- Article
- Export citation
T. G. McLaughlin. Some counterexamples in the theory of regressive sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 81–87.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 296
-
- Article
- Export citation
V. D. Vuckovic. Creative and weakly creative sequences of r.e. sets. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 478–483.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 296
-
- Article
- Export citation
M. P. Schützenberger. On the definition of a family of automata. Information and control, vol. 4 (1961), pp. 245–270. - M. P. Schützenberger. Finite counting automata.Information and control, vol. 5 (1962), pp. 91–107. - M. P. Schützenberger. Certain elementary families of automata. Proceedings of the Symposium of Mathematical Theory of Automata, New York, N.Y., Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, New York1963, pp. 139–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
-
- Article
- Export citation
M. P. Schützenberger. A remark on finite transducers. Information and control, vol. 4 (1961), pp. 185–196.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 297
-
- Article
- Export citation
M. P. Schützenberger. On context-free languages and push-down automata. Information and control, vol. 6 (1963), pp. 246–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
-
- Article
- Export citation
Maurice Gross and André Lentin. Notions sur les grammaires formelles. Publications de l'Institut de Programmation de la Faculté des Sciences de Paris, Collection programmation, Gauthier-Villars, Paris1967, 197 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
-
- Article
- Export citation
A. I. Mal′cév. Modél′nyé sootvéctviá (Model correspondences). Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 (1959), pp. 313–336.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
-
- Article
- Export citation
Simon Kochen. Topics in the theory of definition. 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. 170–176. - Walter Felscher. On criteria of definability. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 834–836.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-301
-
- Article
- Export citation
E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language Lαβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-302
-
- Article
- Export citation
Azriel Lévy. Axiomatization of induced theories. Proceedings of the American Mathematical Society, vol. 12 (1961), pp. 251–253.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Alfred Tarski. The completeness of elementary algebra and geometry. Centre National de la Recherche Scientifique, Institut Blaise Pascal, Paris1967, iv + 50 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Kensuke Takeuchi. Ziyû-daisûkei no go no mondai (The word problem of free algebras). Sûgaku, vol. 8 no. 4 (1957), pp. 218–229.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
-
- Article
- Export citation
T. Traczyk. Some theorems on independence in Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 11 (1963), pp. 3–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
T. Traczyk. An equational definition of a class of Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 12 (1964), pp. 147–149.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 303
-
- Article
- Export citation
Seppo Ilkka. A new arithmetization for finitely many-valued propositional calculi. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 32 no. 8, Helsinki1966, 13 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
-
- Article
- Export citation
Angelo Margaris. A problem of Rosser and Turquette. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 271–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 304-305
-
- Article
- Export citation