Contents
Reviews
J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 109–120.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 453-454
-
- Article
- Export citation
I. D. Zaslavskij. Nékotoryé svojstva konstruktivnyh v隡éstvennyh čisél i konstruktivnyh funkcij. Problémy konstruktivnogo napravléniá v matématiké, 2 (Konstruktivnyj matématčéskij analiz), Sbornik robot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 67, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, pp. 385–457.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 454
-
- Article
- Export citation
Daniel Lacombe. Recursion theoretic structure for relational systems. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 3–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 454-455
-
- Article
- Export citation
Walter Taylor. Some constructions of compact algebras. Annals of mathematical logic, vol. 3 no. 4 (1971), pp. 395–437. - Walter Taylor. Residually small varieties. Algebra universalis (Basel), vol. 2 no. 1 (1972), pp. 33–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 455-456
-
- Article
- Export citation
Miroslav Benda. On saturated reduced products. Pacific journal of mathematics, vol. 39 (1971), pp. 557–571.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 456
-
- Article
- Export citation
Saharon Shelah. For what filters is every reduced product saturated?Israel journal of mathematics, vol. 12 (1972), pp. 23–31.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 456
-
- Article
- Export citation
Roland Fraïssé. Une généralisation de l'ultraproduit. The journal of symbolic logic, vol. 31 (1966), pp. 235–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 457
-
- Article
- Export citation
E. W. Beth. Observations concernant la théorie de la définition. Actes du Colloque de Mathématiques réuni à Clermont à l'Occasion du Tricentenaire de la Mort de Blaise Pascal, 4–8 Juin 1962, Volume I, Introduction et logique mathématique, Annales de la Faculté des Sciences de l'Université de Clermont, no. 7, Mathematiques, part 1, Clermont-Ferrand 1962, pp. 83–87.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 457
-
- Article
- Export citation
E. G. K. Lopez-Escobar. A non-interpolation theorem. English with Russian summary. Bulletin de l'Académic Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 17 (1969), pp. 109–112, V.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 457-458
-
- Article
- Export citation
A. N. Prior. Existence in Leśniewski and in Russell. 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. 149–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 458
-
- Article
- Export citation
Wilhelm Ackermann. Der Aufbau einer höheren Logik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 7 (1965), S. 5–22.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 458
-
- Article
- Export citation
Richard Montague. Set theory and higher-order logic. 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. 131–148.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 459
-
- Article
- Export citation
Paul J. Cohen. Comments on the foundations of set theory. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 9–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 459-460
-
- Article
- Export citation
William B. Easton. Powers of regular cardinals. Annals of mathematical logic, vol. 1 no. 2 (1970), pp. 139–178. - J. R. Shoenfield. Unramified forcing. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 357–381.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 460-461
-
- Article
- Export citation
A. Lévy. The interdependence of certain consequences of the axiom of choice. Fundamenta mathematicae, vol. 54 no. 2 (1964), pp. 135–157.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 461
-
- Article
- Export citation
J. I. Friedman. Proper classes as members of extended sets. Mathematische Annalen, vol. 83 (1969), pp. 232–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
-
- Article
- Export citation
Richard Mansfield. Perfect subsets of definable sets of real numbers. Pacific journal of mathematics, vol. 35 (1970), pp. 451–457.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
-
- Article
- Export citation
Yoemon Sampei. A proof of Mansfield's theorem by forcing method. Commentarii mathematici Universitatis Sancti Pauli, vol. 17 no. 2 (1969), pp. 99–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
-
- Article
- Export citation
E. M. Kleinberg The independence of Ramsey's theorem. The journal of symbolic logic, vol. 34 (1969), pp. 205–206.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 462
-
- Article
- Export citation
E. M. Kleinberg. Strong partition properties for infinite cardinals. The journal of symbolic logic, vol. 35 (1970), pp. 410–428.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 463
-
- Article
- Export citation