Research Article
Monadic second order definable relations on the binary tree
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 219-226
-
- Article
- Export citation
Some new natural α-re-degrees
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-231
-
- Article
- Export citation
Sequential discreteness and clopen-I-Boolean classes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 232-242
-
- Article
- Export citation
Completeness of transfinite evaluation in an extension of the lambda calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-275
-
- Article
- Export citation
Reviews
Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Countable algebra and set existence axioms. Annals of pure and applied logic, vol. 25 (1983), pp. 141–181. - Harvey M. Friedman, Stephen G. Simpson, and Rick L. Smith. Addendum to “Countable algebra and set existence axioms.” Annals of pure and applied logic, vol. 28 (1985), pp. 319–320.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-278
-
- 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
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
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
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
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
J. W. Lloyd. Foundations of logic programming. Symbolic computation. Artifical intelligence. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1984, x + 124 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
-
- Article
- Export citation
A. J. Kfoury, Robert N. Moll, and Michael A. Arbib. A programming approach to computability. The AKM series in theoretical computer science. Springer-Verlag, New York, Heidelberg, and Berlin, 1982, viii + 251 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-291
-
- Article
- Export citation
Nigel Cutland. Computabitity. An introduction to recursive function theory. Cambridge University Press, Cambridge etc. 1980, x + 251 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 292-293
-
- Article
- Export citation
Martin D. Davis and Elaine J. Weyuker. Comparability, complexity, and languages. Fundamentals of theoretical computer science. Computer science and applied mathematics. Academic Press, New York etc. 1983, xix + 425 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-294
-
- Article
- Export citation
Meeting Report
European Summer Meeting of the Association for Symbolic Logic, Paris, 1985
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-349
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
-
- Article
- Export citation
Front matter
JSL volume 52 issue 1 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 52 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation