Reviews
Menachem Magidor and Jerome Malitz. Compact extensions of L(Q) (Part 1a). Annals of mathematical logic, vol. 11 (1977), pp. 217–261. - Matt Kaufmann. A new omitting types theorem for L(Q). The journal of symbolic logic, vol. 44 (1979), pp. 507–521.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1076-1078
-
- Article
- Export citation
Angus Macintyre. Ramsey quantifiers in arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 186–210. - James H. Schmerl and Stephen G. Simpson. On the role of Ramsey quantifiers in first order arithmetic. The journal of symbolic logic, vol. 47 (1982), pp. 423–435. - Carl Morgenstern. On generalized quantifiers in arithmetic. The journal of symbolic logic, vol. 47 (1982), pp. 187–190.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1078-1079
-
- Article
- Export citation
Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 (1983), pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 (1980), pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 (1978), pp. 92–112; Corrigendum, vol. 44 (1979), pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 (1978), vol. 46 (1981), pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 20–30. - Chantal Berline. Elimination of quantifiers for non semi-simple rings of characteristic p. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 10–19.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1079-1080
-
- Article
- Export citation
C. Berline and G. Cherlin. QE rings in characteristic p. Logic year 1979–80, The University of Connecticut, USA, edited by M. Lerman, J. H. Schmerl, and R. I. Soare, Lecture notes in mathematics, vol. 859, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–31. - C. Berline and G. Cherlin. QE nilrings of prime characteristic. Bulletin de la Société Mathématique de Belgique, ser. B vol. 33 (1981), pp. 3–17. - Chantal Berline and Gregory Cherlin. QE rings in characteristic pn. The journal of symbolic logic, vol. 48 (1983), pp. 140–162. - D. Saracino and C. Wood. QE commutative nilrings. The journal of symbolic logic, vol. 49 (1984), pp. 644–651.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1080-1081
-
- Article
- Export citation
A. Beller, R. Jensen, and P. Welch. Coding the universe. London Mathematical Society lecture note series, no. 47. Cambridge University Press, Cambridge etc. 1982, 353 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1081
-
- Article
- Export citation
V. B. Šehtman. An undecidable superintuitionistic propositional calculus. Soviet mathematics, vol. 19 no. 3 (for 1978, pub. 1979), pp. 656–660. (English translation by B. F. Wells of Nérazréšimoé supérintuicionistskoé isčislénié vyskazyvanij, Doklady Akadémii Nauk SSSR, vol. 240(1978), pp. 549–552.) - S. V. Popov. Nondecidable intermediate calculus. Algebra and logic, vol. 20 (1982), pp. 424–461. (English translation of Nérazréšimoé proméžutočnoé isčislénié, Algébra i logika, vol. 20 (1981), pp. 654-706.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1081-1083
-
- Article
- Export citation
Kit Fine. Model theory for modal logic. Part I—the de re/de dicto distinction. Journal of philosophical logic, vol. 7 (1978), pp. 125–156. - Kit Fine. Model theory for modal logic—part II. The elimination of de re modality. Journal of philosophical logic, vol. 7 (1978), pp. 277–306. - Kit Fine. Model theory for modal logic—part III. Existence and predication. Journal of philosophical logic, vol. 10 (1981), pp. 293–307.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1083-1093
-
- Article
- Export citation
Meeting Report
Annual meeting of the Association for Symbolic Logic, Anaheim, 1985
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1094-1102
-
- Article
- Export citation
Other
List of officers and members of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1103-1141
-
- Article
- Export citation
Index of Reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1142-1150
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1151
-
- Article
- Export citation
Front matter
JSL volume 50 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 50 issue 4 Cover and Back matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b9
-
- Article
-
- You have access
- Export citation