Research Article
An Ulm-type classification theorem for equivalence relations in Solovay model
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1333-1351
-
- Article
- Export citation
Scientific discovery based on belief revision
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1352-1370
-
- Article
- Export citation
The complexity of the modal predicate logic of “true in every transitive model of ZF”
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1371-1378
-
- Article
- Export citation
sets of reals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1379-1428
-
- Article
- Export citation
Wildness implies undecidability for lattices over group rings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1429-1447
-
- Article
- Export citation
Minimal models of Heyting arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1448-1460
-
- Article
- Export citation
Proofs of strong normalisation for second order classical natural deduction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1461-1479
-
- Article
- Export citation
Reviews
Samuel R. Buss. The undecidability of k-provability. Annals of pure and applied logic, vol. 53 (1991), pp. 75–102.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1480-1481
-
- Article
- Export citation
J. Denef and L. van den Dries. p-Adic and real subanalytic sets. Annals of mathematics, ser. 2 vol. 128 (1988), pp. 79–138.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1481-1483
-
- Article
- Export citation
G. E. Hughes and M. J. Cresswell. A new introduction to modal logic. Routledge, London and New York1996, x + 421 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1483-1484
-
- Article
- Export citation
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. MIT Press, Cambridge, Mass., and London1995, xiii + 477 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1484-1487
-
- Article
- Export citation
Conditionals: from philosophy to computer science, edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig, Studies in logic and computation, no. 5, Clarendon Press, Oxford University Press, Oxford and New York1995, viii + 368 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1487-1490
-
- Article
- Export citation
Alexander S. Kechris. Classical descriptive set theory. Graduate texts in mathematics, no. 156. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1995, xviii + 402 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1490-1491
-
- Article
- Export citation
William J. Mitchell and John R. Steel. Fine structure and iteration trees. Lecture notes in logic, no. 3. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, v + 130 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1491-1493
-
- Article
- Export citation
Yiannis N. Moschovakis. Notes on set theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1994, xiv + 272 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1493-1494
-
- Article
- Export citation
James L. Hein. Discrete structures, logic, and computability. Jones and Bartlett, Boston and London1995, xx + 866 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1494-1496
-
- Article
- Export citation
Other
Index of reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1497-1504
-
- Article
- Export citation
Front matter
JSL volume 62 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 62 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