Contents
Reviews
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
R. Sikorski. A theorem on non-classical functional calculi. Bulletin de l'Academie Polonaise des Sciences, Classe III, vol. 4 (1956), pp. 649–650. - R. Sikorski. Some applications of interior mappings. Fundamenta mathematicae, vol. 45 (1957), pp. 200–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 537
-
- Article
- Export citation
Dana Scott. Measurable cardinals and constructible sets. Bulletin de l' Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 521–524.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 410
-
- Article
- Export citation
M. N. Bleicher. Some theorems on vector spaces and the axiom of choice. Fundamenta mathematicae, vol. 54 (1964), pp. 95–107.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-273
-
- Article
- Export citation
M. N. Bleicher. Multiple choice axioms and axioms of choice for finite sets. Fundamenta mathematicae, vol. 57 (1965), pp. 247–252.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
-
- 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
H. Jerome Keisler. Some applications of the theory of models to set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 80–86.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 410
-
- Article
- Export citation
Ronald Harrop. Some structure results for propositional calculi. The journal of symbolic logic, vol. 30 (1965), pp. 271–292.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 537-538
-
- Article
- Export citation
H. J. Keisler and A. Tarski. From accessible to inaccessible cardinals. Fundamenta mathematicae, vol. 53 (1964), pp. 225–308. (See corrections, ibid., vol. 57 (1965), p. 119.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 411
-
- 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
J. D. Halpern. The independence of the axiom of choice from the Boolean prime ideal theorem. Fundamenta mathematicae, vol. 55 (1964), pp. 57–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-274
-
- Article
- Export citation
Vladimir G. Kirin. Gentzen's method for the many-valued propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 317–332.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 538-539
-
- Article
- Export citation
Arto Salomaa. On essential variables of functions, especially in the algebra of logic. Annales Academiae Scientiarum Fennicae, series A.I, Mathematica, no. 339, Helsinki1963, 11 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 539
-
- Article
- Export citation
Petr Vopěnka. Modéli téorii množéstv (Modelle der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 281–292.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 411-412
-
- 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
Helena Rasiowa and Roman Sikorski. The mathematics of metamathematics. Monografie matematyczne, vol. 41. Państwowe Wydawnictwo Naukowe, Warsaw1963, 519 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-275
-
- Article
- Export citation
M. F. Janowitz. Quantifiers and orthomodular lattices. Pacific journal of mathematics, vol. 13 (1963), pp. 1241–1249. - M. F. Janowitz. Quantifier theory on quasi-orthomodular lattices. Illinois journal of mathematics, vol. 9 (1965), pp. 660–676.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 275
-
- Article
- Export citation
Petr Hájek. Die durch die schwach inneren relationen gegebenen Modelle der Mengenlehre. Fundamenta mathematicae, vol. 10 (1964), pp. 151–157.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 412
-
- 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
P. Schofield. On a correspondence between many-valued and two-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 265–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 539
-
- Article
- Export citation