Contents
Reviews
L. W. Szczerba and A. Tarski. Metamathematical properties of some affine geometries. 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. 166–178.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
-
- Article
- Export citation
S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62(2). Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 289–308.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
-
- Article
- Export citation
Mihály Makkai. On PCΔ-classes in the theory of models. English with Russian summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, ser. A, vol. 9 no. 1–2 (1964), pp. 159–194. - M. Makkai. Remarks on my paper “On PCΔ-classes in the theory of models.” English with Russian summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, ser. A, vol. 9 no. 3 (for 1964, pub. 1965), pp. 601–602.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-336
-
- Article
- Export citation
Peter Freyd. The theories of functors and models. 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. 107–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
-
- Article
- Export citation
F. William Lawvere. Algebraic theories, algebraic categories, and algebraic functors. 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. 413–418.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
-
- Article
- Export citation
Maurice L'abbé. Structures algébriques suggérées par la logique mathématique. Bulletin de la Société Mathématique de France, vol. 86 (1958), pp. 299–314.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
-
- Article
- Export citation
Marc Krasner. Les algèbres cylindriques. Bulletin de la Société Mathématique de France, vol. 86 (1958), pp. 315–319.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
-
- Article
- Export citation
Aubert Daigneault. Freedom in polyadic algebras and two theorems of Beth and Craig. The Michigan mathematical journal, vol. 11 (1964), pp. 129–135. - Aubert Daigneault. On automorphisms of polyadic algebras. Transactions of the American Mathematical Society, vol. 112 (1964), pp. 84–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
-
- Article
- Export citation
A. I. Mal′cév. Itérativnyé algebry i mnogoobraziá Posta (Post's iterative algebras and varieties). Algébra i logika, Séminar, vol. 5 no. 2 (1966), pp. 5–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 338
-
- Article
- Export citation
C. C. Chang and H. Jerome Keisler. Applications of ultraproducts of pairs of cardinals to the theory of models. Pacific journal of mathematics, vol. 12 (1962), pp. 835–845. - C. C. Chang. A note on the two cardinal problem. Proceedings of the American Mathematical Society, vol. 16 no. 6 (for 1965, pub. 1966), pp. 1148–1155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
-
- Article
- Export citation
Per Lindström. Remarks on some theorems of Keisler. The journal of symbolic logic, vol. 33 no. 4 (for 1968, pub. 1969), pp. 571–576.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
-
- Article
- Export citation
Kao Hêng-San. Kuan-yü Łoś ho Suszko “lun mu-hsing ti k'uo-chung (IV)” i wen chih jo-kan hsiu-cheng ho chien-hua (Some corrections and simplifications of Łoś and Suszko's “On the extending of models (IV)”). Shuxue jinzhan (Shu-hsüeh chin chan) (Peking), vol. 6 no. 4 (1963), pp. 388–390.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
-
- Article
- Export citation
Hilary Putnam. A note on constructible sets of integers. Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 270–273.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
-
- Article
- Export citation
Robert M. Solovay. A nonconstructible set of integers. Transactions of the American Mathematical Society, vol. 127 (1967), pp. 50–75.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
-
- Article
- Export citation
Wayne Richter. Extensions of the constructive ordinals. The journal of symbolic logic, vol. 30 (1965), pp. 193–211. - Wayne Richter. Constructive transfinite number classes. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 261–265. - Wayne Richter. Constructively accessible ordinal numbers. The journal of symbolic logic, vol. 33 (1968), pp. 43–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
-
- Article
- Export citation
Alfred B. Manaster. Rich co-ordinals, addition isomorphisms, and RETs. The journal of symbolic logic, vol. 34 (1969), pp. 45–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
-
- Article
- Export citation
E. Mark Gold. Limiting recursion. The journal of symbolic logic, vol. 30 (1965), pp. 28–48. - Hilary Putnam. Trial and error predicates and the solution to a problem of Mostowski. The journal of symbolic logic, vol. 30 (1965), pp. 49–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
-
- Article
- Export citation
Albert A. Mullin. On a necessary condition for the validity of Goldbach's conjecture. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 145–148.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
-
- Article
- Export citation
Albert A. Mullin. On a theorem equivalent to Post's fundamental theorem of recursive function theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 203–205.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
-
- Article
- Export citation