Research Article
A construction for recursive linear orderings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 673-683
-
- Article
- Export citation
Π01-classes and Rado's selection principle
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 684-693
-
- Article
- Export citation
Poly-separated and ω-stable nilpotent groups
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 694-699
-
- Article
- Export citation
L'arithmétique ouverte et ses modèles non-standards
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 700-714
-
- Article
- Export citation
The role of parameters in bar rule and bar induction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 715-730
-
- Article
- Export citation
Boolean valued Lie algebras
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 731-741
-
- Article
- Export citation
Nonuniformization results for the projective hierarchy
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 742-748
-
- Article
- Export citation
Reviews
Marian B. Pour-El and J. Ian Richards. Computability in analysis and physics. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1989, xi + 206 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 749-750
-
- Article
- Export citation
Douglas Bridges and Fred Richman. Varieties of constructive mathematics. London Mathematical Society lecture note series, no. 97. Cambridge University Press, Cambridge etc. 1987, x + 149 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 750-751
-
- Article
- Export citation
Edward Nelson. The syntax of nonstandard analysis. Annals of pure and applied logic, vol. 38 (1988), pp. 123–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 751-752
-
- Article
- Export citation
Wilfrid Hodges. Building models by games. London Mathematical Society student texts, no. 2. Cambridge University Press, Cambridge etc. 1985, vi + 311 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 752-753
-
- Article
- Export citation
Judith Roitman. Introduction to modern set theory. Pure and applied mathematics. John Wiley & Sons, New York etc. 1990, xiii + 156 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 753
-
- Article
- Export citation
Murray G. Bell. Spaces of ideals of partial functions. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 1–4. - Alan Dow. Compact spaces of countable tightness in the Cohen model. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 55–67. - Peter J. Nyikos. Classes of compact sequential spaces. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 135–159. - Franklin D. Tall. Topological problems for set-theorists. Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21,1987, edited by J. Streprāns and S. Watson, Lecture notes in mathematics, vol. 1401, Springer-Verlag, Berlin etc. 1989, pp. 194–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 753-755
-
- Article
- Export citation
Stephen Pollard. Philosophical introduction to set theory. University of Notre Dame Press, Notre Dame, Ind., and London, 1990, xii + 180 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-756
-
- Article
- Export citation
Lennart Åqvist. Introduction to deontic logic and the theory of normative systems. Indices, no. 4. Bibliopolis, Naples 1988 (© 1987), also distributed by Humanities Press, Atlantic Highlands, N.J., 280 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 756-757
-
- Article
- Export citation
James Gasser. Essai sur la nature et les critères de la preuve. DelVal, Cousset, Fribourg, 1989, xiii + 144 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 757-758
-
- Article
- Export citation
Samuel R. Buss. Bounded arithmetic. Studies in proof theory. Lecture notes, no. 3. Bibliopolis, Naples1986, v + 221 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 759-760
-
- Article
- Export citation
Jean-Yves Girard, Paul Taylor, and Yves LaFont. Proofs and types. Cambridge tracts in theoretical computer science, no. 7. Cambridge University Press, Cambridge etc. 1989, xi + 176 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 760-761
-
- Article
- Export citation
Uwe Schöning. Logik für Informatiker. Second revised edition. Reihe Informatik, vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1989, 172 pp. - Uwe Schöning. Logic for computer scientists. English translation of the preceding. Progress in computer science and applied logic, vol. 8. Birkhäuser, Boston, Basel, and Berlin, 1989, ix + 166 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 761-762
-
- Article
- Export citation
J. Richard Büchi. Finite automata, their algebras and grammars. Towards a theory of formal expressions. Edited by Dirk Siefkes. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1989, xii + 316 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 762-763
-
- Article
- Export citation