Research Article
Prime numbers and factorization in IE1 and weaker systems
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1057-1085
-
- Article
- Export citation
Baire numbers, uncountable Cohen sets and perfect-set forcing
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1086-1107
-
- Article
- Export citation
About the proof-theoretic ordinals of weak fixed point theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1108-1119
-
- Article
- Export citation
The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1120-1130
-
- Article
- Export citation
Reviews
M. Foreman, M. Magidor, and S. Shelah. Martin's maximum, saturated ideals, and non-regular ultrafilters. Part I. Annals of mathematics, ser. 2 vol. 127 (1988), pp. 1–47, and vol. 129 (1989), p. 651.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1131-1132
-
- Article
- Export citation
Donald A. Martin and John R. Steel. Projective determinacy. Proceedings of the National Academy of Sciences of the United States of America, vol. 85 (1988), pp. 6582–6586. - W. Hugh Woodin. Supercompact cardinals, sets of reals, and weakly homogeneous trees. Proceedings of the National Academy of Sciences of the United States of America, vol. 85 (1988), pp. 6587–6591. - Donald A. Martin and John R. Steel. A proof of projective determinacy. Journal of the American Mathematical Society, vol. 2 (1989), pp. 71–125.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1132-1136
-
- Article
- Export citation
Sy D. Friedman. The -singleton conjecture. Journal of the American Mathematical Society, vol. 3 no. 4 (for 1990, pub. 1991), pp. 771–791.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1136-1137
-
- Article
- Export citation
Johan van Benthem. The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Second edition of LII 874. Synthese library, vol. 156. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, xxii + 280 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1137-1138
-
- Article
- Export citation
Nichtklassische Logik, Eine Einführung, second, revised edition, edited by Lothar Kreiser, Siegfried Gottwald, and Werner Stelzner, Akademie-Verlag, Berlin1990, xiii + 437 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1138-1140
-
- Article
- Export citation
Leo Bachmair. Canonical equational proofs. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, x + 135 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1140-1141
-
- Article
- Export citation
Ketan Mulmuley. Full abstraction and semantic equivalence. ACM doctoral dissertation awards. The MIT Press, Cambridge, Mass., and London, 1987, xv + 198 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1141-1143
-
- Article
- Export citation
Michael Moortgat. Categorical investigations. Logical and linguistic aspects of the Lambek calculus. Groningen-Amsterdam studies in semantics, no. 9. Foris Publications, Dordrecht and Providence1988, xiii + 285 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1146
-
- Article
- Export citation
Edward N. Zalta. Intensional logic and the metaphysics of intentionality. Bradford books. The MIT Press, Cambridge, Mass., and London, 1988, xiii + 256 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1146-1150
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1151-1152
-
- Article
- Export citation
Front matter
JSL volume 57 issue 3 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 57 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation