Contents
Reviews
Krister Segerberg. Classical prepositional operators. An exercise in the foundations of logic. Oxford logic guides, no. 5. Clarendon Press, Oxford University Press, Oxford and New York1982, x + 152 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 993-994
-
- Article
- Export citation
James D. McCawley. Everything that linguists have always wanted to know about logic, but were ashamed to ask. The University of Chicago Press, Chicago, and Basil Blackwell, Oxford, 1981, xv + 508 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1407-1408
-
- Article
- Export citation
Peter Aczel. The type theoretic interpretation of constructive set theory. Logic Colloquium '77, Proceedings of the colloquium held in Wrocław, August 1977, edited by Angus Macintyre, Leszek Pacholski, and Jeff Paris, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 55–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-314
-
- Article
- Export citation
A. Dodd and R. Jensen. The core model. Annals of mathematical logic, vol. 20 (1981), pp. 43–75. - Tony Dodd and Ronald Jensen. The covering lemma for K. Annals of mathematical logic, vol. 22 (1982), pp. 1–30. - A. J. Dodd and R. B. Jensen. The covering lemma for L[U]. Annals of mathematical logic, pp. 127–135. - D. Donder, R. B. Jensen and B. J. Koppelberg. Some applications of the core model. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited by R. B. Jensen and A. Prestel, Lecture notes in mathematics, vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 55–97. - A. Dodd. The core model. London Mathematical Society lecture note series, no. 61. Cambridge University Press, Cambridge etc. 1982, xxxviii + 229 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 660-662
-
- Article
- Export citation
Michael Morley. The number of countable models. The journal of symbolic logic, vol. 35 (1970), pp. 14–18.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-315
-
- Article
- Export citation
Richard Jeffrey. Formal logic: Its scope and limits. Second edition of XXXVIII 646. McGraw-Hill Book Company, New York etc. 1981, xvi + 198 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1408-1409
-
- Article
- Export citation
B. J. Copeland. On when a semantics is not a semantics: some reasons for disliking the Routley–semantics for relevance logic. Journal of philosophical logic, vol. 8 (1979), pp. 399–413.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 994-995
-
- Article
- Export citation
M. Gitik. All uncountable cardinals can be singular. Israel journal of mathematics, vol. 35 (1980), pp. 61–88.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-663
-
- Article
- Export citation
Charles Chihara. The semantic paradoxes: a diagnostic investigation. The philosophical review, vol. 88 (1979), pp. 590–618. - Tyler Burge. Semantical paradox. The journal of philosophy, vol. 76 (1979), pp. 169–198.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 995-996
-
- Article
- Export citation
Jon Barwise and Kenneth Kunen. Hanf numbers for fragments of L∞ω. Israel journal of mathematics, vol. 10 (1971), pp. 306–320.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 315
-
- Article
- Export citation
John Gregory. Higher Souslin trees and the generalized continuum hypothesis. The journal of symbolic logic, vol. 41 (1976), pp. 663–671. - Richard Laver and Saharon Shelah. The ℵ2-Souslin hypothesis. Transactions of the American Mathematical Society, vol. 264(1981), pp. 411–417. - S. Shelah and L. Stanley. S-forcing, I. A “black-box” theorem for morasses, with applications to super-Souslin trees. Israel journal of mathematics, vol. 43 (1982), pp. 185–224. - S. Shelah and L. Stanley. Generalized Martin's axiom and Souslin's hypothesis for higher cardinals. Israel journal of mathematics, vol. 43 pp. 225–236.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-665
-
- Article
- Export citation
Richard Jeffrey. Introduction. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 1–6. - Rudolf Carnap. A basic system of inductive logic, Part II. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 7–155. - Jaakko Hintikka and Ilkka Niiniluoto. An axiomatic foundation for the logic of inductive generalization. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 157–181. (Reprinted with added postscript from Formal methods in the methodology of empirical sciences, Proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17–21, 1974, edited by Marian Przełęcki, Klemens Szaniawski, and Ryszard Wójcicki, Synthese library, vol. 103, D. Reidel Publishing Company, Dordrecht and Boston, and Ossolineum Publishing Company, Wroclaw, 1976, pp. 57–81.) - Theo A. F. Kuipers. A survey of inductive systems. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 183–192. - Jens Erik Fenstad. The structure of probabilities defined on first-order languages. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 251–262. - David Lewis. A subjectivist's guide to objective chance. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 263–293. - Douglas N. Hoover. A note on regularity. Studies in inductive logic and probability, Volume II, edited by Richard C. Jeffrey, University of California Press, Berkeley, Los Angeles, and London, 1980, pp. 295–297.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1409-1410
-
- Article
- Export citation
Saharon Shelah. Finite diagrams stable in power. Annals of mathematical logic, vol. 2 no. 1 (1970), pp. 69–118.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 315-316
-
- Article
- Export citation
A. Maitra and C. Ryll-Nardzewski. On the existence of two analytic non-Borel sets which are not isomorphic. Bulletin de L'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques, vol. 18 (1970), pp. 177–178. - R. Daniel Mauldin. On nonisomorphic analytic sets. Proceedings of the American Mathematical Society, vol. 58 (1976), pp. 241–244. - Karel Hrbacek. On the complexity of analytic sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 419–425. - Karel Hrbacek and Stephen G. Simpson. On Kleene degrees of analytic sets. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 347–352. - Leo Harrington. Analytic determinacy and 0#. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 685–693.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 665-668
-
- Article
- Export citation
William L. Harper. A sketch of some recent developments in the theory of conditionals. Ifs, Conditionals, belief, decision, chance, and time, edited by William L. Harper, Robert Stalnaker, and Glenn Pearce, The University of Western Ontario series in philosophy of science, vol. 15, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 3–38. - Robert C. Stalnaker. A theory of conditionals. A reprint of XLVII 470. Ifs, Conditionals, belief, decision, chance, and time, edited by William L. Harper, Robert Stalnaker, and Glenn Pearce, The University of Western Ontario series in philosophy of science, vol. 15, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 41–55. - David Lewis. Counterfactuals and comparative possibility. Ifs, Conditionals, belief, decision, chance, and time, edited by William L. Harper, Robert Stalnaker, and Glenn Pearce, The University of Western Ontario series in philosophy of science, vol. 15, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 57–85. (Reprinted from Journal of philosophical logic, vol. 2 (1973), pp. 418–446; also reprinted in Contemporary research in philosophical logic and linguistic semantics, Proceedings of a conference held at the University of Western Ontario, London, Canada, edited by D. Hockney, W. Harper, and B. Freed, The University of Western Ontario series in philosophy of science, vol. 4, D. Reidel Publishing Company, Dordrecht and Boston 1975, pp. 1–29.) - Robert C. Stalnaker. A defense of conditional excluded middle. Ifs, Conditionals, belief, decision, chance, and time, edited by William L. Harper, Robert Stalnaker, and Glenn Pearce, The University of Western Ontario series in philosophy of science, vol. 15, D. Reidel Publishing Company, Dordrecht, Boston, and London, 1981, pp. 87–104.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1411-1413
-
- Article
- Export citation
Charles Jarrett. The logical structure of Spinoza's Ethics, Part I. Synthese, vol. 37(1978), pp. 15–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 996-997
-
- Article
- Export citation
Leonard Goddard and Richard Routley. The logic of significance and context. Volume 1. Scottish Academic Press, Edinburgh and London1973, and Halsted Press, New York 1974, xi + 641 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1413-1415
-
- Article
- Export citation
Joel I. Friedman. Was Spinoza fooled by the ontological argument?Philosophia (Ramat Gan), vol. 11 no. 3-4 (1982), pp. 307–344.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 997-998
-
- Article
- Export citation
Angus Macintyre. On ω1-categorical theories of abelian groups. Fundamenta mathematicae, vol. 70 (1971), pp. 253–270. - Angus Macintyre. On ω1-categorical theories of fields. Fundamenta mathematicae, vol. 71 (1971), pp. 1–25. - Joachim Reineke. Minimale Gruppen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 357–359. - J. T. Baldwin and Jan Saxl. Logical stability in group theory. The journal of the Australian Mathematical Society, vol. 21 ser. A (1976), pp. 267–276. - B. I. Zil'bér. Gruppy i kol'ca, téoriá kotoryh katégorična (Groups and rings with a categorical theory). Fundamenta mathematicae, vol. 95 (1977), pp. 173–188. - Walter Baur, Gregory Cherlin, and Angus Macintyre. Totally categorical groups and rings. Journal of algebra, vol. 57 (1979), pp. 407–440. - Gregory Cherlin. Groups of small Morley rank. Annals of mathematical logic, vol. 17 (1979), pp. 1–28. - G. Cherlin and S. Shelah. Superstable fields and groups. Annals of mathematical logic, vol. 18 (1980), pp. 227–270. - Bruno Poizat. Sous-groupes définissables d 'un groupe stable. The journal of symbolic logic, vol. 46 (1981), pp. 137–146.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-321
-
- Article
- Export citation
Dag Normann. Recursion on the countable functionals. Lecture notes in mathematics, vol. 811. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, VIII + 191 pp. - Dag Normann. The continuous functionals; computations, recursions and degrees. Annals of mathematical logic, vol. 21 (1981), pp. 1–26.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 668-670
-
- Article
- Export citation