Contents
Reviews
David Marker. Degrees of models of true arithmetic. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 233–242. - Julia Knight, Alistair H. Lachlan, and Robert I. Soare. Two theorems on degrees of models of true arithmetic. The journal of symbolic logic, vol. 49 (1984), pp. 425–436.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 562-563
-
- Article
- Export citation
Michael J. O'Donnell. Equational logic as a programming language. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1985, xv + 296 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 873-874
-
- Article
- Export citation
Rainer Weissauer. Der Hilbertsche Irreduzibilitätssatz. Journal für die reine und angewandte Mathematik, vol. 334 (1982), pp. 203–220.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1056
-
- Article
- Export citation
Michael J. Beeson. Foundations of constructive mathematics. Metamathematical studies. Ergebnisse der Mathematik und ihrer Grenzgebiete, ser. 3 vol. 6. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, xxiii + 466 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-279
-
- Article
- Export citation
J. F. A. K. van Benthem. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Synthese library, vol. 156. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1983, xvi + 260 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 874-876
-
- Article
- Export citation
H. E. Rose. Subrecursion. Functions and hierarchies. Oxford logic guides, no. 9. Clarendon Press, Oxford University Press, Oxford and New York1984, xiii + 191 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 563-565
-
- Article
- Export citation
Jon Barwise and John Schlipf. On recursively saturated models of arithmetic. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 57–68. - Julia F. Knight. Theories whose resplendent models are homogeneous. Israel journal of mathematics, vol. 42 (1982), pp. 151–161. - Julia Knight and Mark Nadel. Expansions of models and Turing degrees. The journal of symbolic logic, vol. 47 (1982), pp. 587–604. - Julia Knight and Mark Nadel. Models of arithmetic and closed ideals. The journal of symbolic logic, vol. 47 no. 4 (for 1982, pub. 1983), pp. 833–840. - Henryk Kotlarski. On elementary cuts in models of arithmetic. Fundamenta mathematicae, vol. 115 (1983), pp. 27–31. - H. Kotlarski, S. Krajewski, and A. H. Lachlan. Construction of satisfaction classes for nonstandard models. Canadian mathematical bulletin—Bulletin canadien de mathématiques, vol. 24 (1981), pp. 283–293. - A. H. Lachlan. Full satisfaction classes and recursive saturation. Canadian mathematical bulletin—Bulletin canadien de mathématiques, pp. 295–297. - Leonard Lipshitz and Mark Nadel. The additive structure of models of arithmetic. Proceedings of the American Mathematical Society, vol. 68 (1978), pp. 331–336. - Mark Nadel. On a problem of MacDowell and Specker. The journal of symbolic logic, vol. 45 (1980), pp. 612–622. - C. Smoryński. Back-and-forth inside a recursively saturated model of arithmetic. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 273–278. - C. Smoryński and J. Stavi. Cofinal extension preserves recursive saturation. 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. 338–345. - George Wilmers. Minimally saturated models. 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. 370–380.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 279-284
-
- Article
- Export citation
Dan Haran and Moshe Jarden. Bounded statements in the theory of algebraically closed fields with distinguished automorphisms. Journal für die reine und angewandte Mathematik, vol. 337 (1982), pp. 1–17.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1056
-
- Article
- Export citation
Meeting Report
European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1057-1094
-
- Article
- Export citation
Reviews
S. G. Gindikin. Algebraic logic. English translation by Robert H. Silverman of Algébra logiki v zadačah. Problem books in mathematics. Springer-Verlag, New York, Berlin, etc., 1985, xviii + 356 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 565-567
-
- Article
- Export citation
C. P. J. Koymans. Models of the lambda calculus. CWI tract no. 9. Centrum voor Wiskunde en Informatica, Amsterdam 1984, iii + 181 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
-
- Article
- Export citation
Generalized quantifiers in natural language, edited by Johan van Benthem and Alice ter Meulen, Groningen-Amsterdam studies in semantics, no. 4, Foris Publications, Dordrecht and Cinnaminson, N.J., 1985, vii + 169 pp.—Therein:
-
- Published online by Cambridge University Press:
- 02 September 2019, pp. 876-878
-
- Article
- Export citation
C. T. Chong. Techniques of admissible recursion theory. Lecture notes in mathematics, vol. 1106. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1984, ix + 214 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-287
-
- Article
- Export citation
M. J. Cresswell Structured meanings: the semantics of propositional attitudes. Bradford Books. The MIT Press, Cambridge, Mass., and London, 1985, x + 202 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 878-882
-
- Article
- Export citation
S. G. Gindikin. Algébra logiki v zadačah. Russian original of the preceding. Izdatél'stvo “Nauka,” Moscow1972, 288 pp. - Moshe Jarden. Elementary statements over large algebraic fields. Transactions of the American Mathematical Society, vol. 164 (1972), pp. 67–91.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 567
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1095-1135
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, Indianapolis, 1986
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 883-887
-
- Article
- Export citation
Reviews
Ferenc Gécseg and Magnus Steinby. Tree automata. Akadémiai Kiadó, Budapest 1984, also distributed by Heyden & Son, Philadelphia, 235 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-288
-
- Article
- Export citation
Moshe Jarden and Ursel Kiehne. The elementary theory of algebraic fields of finite corank. Inventiones mathematicae, vol. 30 no. 3 (1975), pp. 275–294.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 567
-
- Article
- Export citation
Other
Index of reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1136-1142
-
- Article
- Export citation