Reviews
A. A. Markov. O logiké konstruktivnoj matématiki. Véstnik Moskovskogo Univérsiteta, Séria I, matématika, méhanika, no. 2 (1970), pp. 7–29. - A. A. Markov. On the logic of constructive mathematics. English translation of the preceding. Moscow University mathematics bulletin, vol. 25 (1970), pp. 45–60.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
-
- Article
- Export citation
A. A. Markov. An approach to constructive mathematical logic. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 283–294. - A. A. Markov. Essai de construction d'une logique de la mathématique constructive. Revue Internationale de philosophic, vol. 25 (1971), pp. 477–507.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 85
-
- Article
- Export citation
S. B. Cooper. Degrees of unsolvability complementary between recursively enumerable degrees, Part I. Annals of mathematical logic, vol. 4 no. 1 (1972), pp. 31–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 86
-
- Article
- Export citation
S. B. Cooper. Minimal degrees and the jump operator. The journal of symbolic logic, vol. 38 (1973), pp. 249–271.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-87
-
- Article
- Export citation
Sanat K. Basu. On the structure of subrecursive degrees. Journal of computer and systems sciences, vol. 4 (1970), pp. 452–464.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 87
-
- Article
- Export citation
Thomas J. Grilliot. Omitting types: application to recursion theory. The journal of symbolic logic, vol. 37 (1972), pp. 81–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
-
- Article
- Export citation
Alexander Abian. On the solvability of infinite systems of Boolean polynomial equations. Colloquium mathematicum, vol. 21 (1970), pp. 27–30. - Alexander Abian. Generalized completeness theorem and solvability of systems of Boolean polynomial equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 263–264. - Paul D. Bacsich. Injectivity in model theory. Colloquium mathematicum, vol. 25 (1972), pp. 165–176. - S. Bulman-Fleming. On equationally compact semilattices. Algebra universalis (Basel), vol. 2 no. 2 (1972), pp. 146–151. - G. Grätzer and H. Lakser. Equationally compact semilattices. Colloquium mathematicum, vol. 20 (1969), pp. 27–30. - David K. Haley. On compact commutative Noetherian rings. Mathematische Annalen, vol. 189 (1970), pp. 272–274. - Ralph McKenzie. ℵ1-incompactness of Z. Colloquium mathematicum, vol. 23 (1971), pp. 199–202. - Jan Mycielski. Some compactifications of general algebras. Colloquium mathematicum, vol. 13 no. 1 (1964), pp. 1–9. See Errata on page 281 of next paper. - Jan Mycielski and C. Ryll-Nardzewski. Equationally compact algebras II. Fundamenta mathematicae, vol. 61 (1968), pp. 271–281. Errata, Fundamenta mathematicae, vol. 62 (1968), p. 309. - L. Pacholski and B. Wȩglorz. Topologically compact structures and positive formulas. Colloquium mathematicum, vol. 19 (1968), pp. 37–42. - B. Wȩglorz. Compactness of algebraic systems. Bulletin de l'Academie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 705–706. - B. Wȩglorz. Equationally compact algebras(I). Fundamenta mathematicae, vol. 59 (1966), pp. 289–298. - B. Wȩglorz. Equationally compact algebras (III). Fundamenta mathematicae, vol. 60 (1967), pp. 89–93. - B. Wȩglorz. Completeness and compactness of lattices. Colloquium mathematicum, vol. 16 (1967), pp. 243–248. - B. Wȩglorz and A. Wojciechowska. Summability of pure extensions of relational structures. Colloquium mathematicum, vol. 19 (1968), pp. 27–35. - Günter H. Wenzel. Subdirect irreducibility and equational compactness of unary algebras 〈A; f〉. Archiv der Mathematik, vol. 21 (1970), pp. 256–264. - Günter H. Wenzel. On -atomic compact relational systems. Mathematische Annalen, vol. 194 (1971), pp. 12–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-92
-
- Article
- Export citation
Ronald Björn Jensen. Modelle der Mengenlehre. Lecture notes in mathematics, no. 37, Springer-Verlag, Berlin, Heidelberg, and New York, 1967, ix + 176 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 92
-
- Article
- Export citation
Ulrich Felgner. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp. - Thomas J. Jech. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 92-93
-
- Article
- Export citation
J. R. Shoenfield. Measurable cardinals. 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. 19–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-94
-
- Article
- Export citation
Warren D. Goldfarb. Preface. Logical writings, by Jacques Herbrand, edited by Warren D. Goldfarb, Harvard University Press, Cambridge, Massachusetts, and D. Reidel Publishing Company, Dordrecht-Holland, 1971, pp. V–VII.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 94-95
-
- Article
- Export citation
Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
-
- Article
- Export citation
A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 3–45.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-97
-
- Article
- Export citation
J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A vol. 58 (1955), pp. 163–169, 170–177, 270–274, 275–276; also Indagationes mathematicae, vol. 17 (1955), pp. 163–169, 170–177, 270–274, 275–276. - K. Matsumoto, M. Ohnishi, and J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. I. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 60 (1957), pp. 481–491; Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 19 (1957), pp. 481–491. - J. Ridder. Die Gentzenschen Schluszverfahren in modalen Aussagenlogiken. II and III. Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 61 (1958), pp. 16–22, and pp. 23–27; also Koninklyke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, vol. 20 (1958), pp. 16–22, and pp. 23–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-98
-
- Article
- Export citation
G. Rousseau. Completeness in finite algebras with a single operation. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 1009–1013.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
-
- Article
- Export citation
Peter Schofield. Independent conditions for completeness of finite algebras with a single generator. Journal of the London Mathematical Society, vol. 44 (1969), pp. 413–423.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
-
- Article
- Export citation
V. B. Kudrávcév. O pokrytiáh prédpolnyh klassov k-značnoj logiki (On covers for precomplete classes in k-valued logic). Diskrétnyj analiz, no. 17 (1970), pp. 32–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
-
- Article
- Export citation
A. N. Prior. Recent advances in tense logic. Basic issues in the philosophy of time, edited by Eugene Freeman and Wilfrid Sellars, Open Court, LaSalle, Ill., 1971, pp. 1–15. (Reprinted from The monist, vol. 53 (1969), pp. 325–339.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
-
- Article
- Export citation
C. L. Hamblin. Starting and stopping. Basic issues in the philosophy of time, edited by Eugene Freeman and Wilfrid Sellars, Open Court, LaSalle, Ill., 1971, pp. 86–101. (Reprinted from The monist, vol. 53 (1969), pp. 410–425.) - C. L. Hamblin. Instants and intervals. Studium generate, vol. 24 (1971), pp. 127–134. Reprinted in The study of time, edited by J. T. Fraser, F. C. Haber, and G. H. Müller, Springer-Verlag, New York 1972, pp. 324–331.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
-
- Article
- Export citation
Richard Sharvy. Things. Basic issues in the philosophy of time, edited by Eugene Freeman and Wilfrid Sellars, Open Court, LaSalle, Ill., 1971, pp. 164–180. (Reprinted from The monist, vol. 53 (1969), pp. 488–504.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
-
- Article
- Export citation