Contents
Reviews
Theodore Baker, John Gill, and Robert Solovay. Relativizations of the = ? question. SIAM journal on computing, vol. 4 (1975), pp. 431–442. - Charles H. Bennett and John Gill. Relative to a random oracle A, PA ≠ NPA ≠ co-NPA with probability 1. SIAM journal on computing, vol. 10 (1981), pp. 96–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1061-1062
-
- Article
- Export citation
J. B. Paris. A hierarchy of cuts in models of arithmetic. 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. 312–337. - George Mills. A tree analysis of unprovable combinatorial statements. 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, pp. 248–311. - Jussi Ketonen and Robert Solovay. Rapidly growing Ramsey functions. Annals of mathematics, ser. 2 vol. 113 (1981), pp. 267–314.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1062-1066
-
- Article
- Export citation
Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori. Strong axioms of infinity and elementary embeddings. Annals of mathematical logic, vol. 13 (1978), pp. 73–116. - Menachem Magidor. HOW large is the first strongly compact cardinal? or A study on identity crises. Annals of mathematical logic, vol. 10 (1976), pp. 33–57.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1066-1068
-
- Article
- Export citation
Saharon Shelah. Infinite abelian groups, Whitehead problem and some constructions. Israel journal of mathematics, vol. 18 (1974), pp. 243–256. - Saharon Shelah. A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals. Israel journal of mathematics, vol. 21 (1975), pp. 319–349. - Sharaon Shelah. Whitehead groups may be not free, even assuming CH, I. Israel journal of mathematics, vol. 28 (1977), pp. 193–204. - Saharon Shelah. Whitehead groups may not be free even assuming CH, II. Israel journal of mathematics, vol. 35 (1980), pp. 257–285. - Saharon Shelah. On uncountable abelian groups. Israel journal of mathematics, vol. 32 (1979), pp. 311–330. - Shai Ben-David. On Shelah's compactness of cardinals. Israel journal of mathematics, vol. 31 (1978), pp. 34–56 and p. 394. - Howard L. Hiller and Saharon Shelah. Singular cohomology in L. Israel journal of mathematics, vol. 26 (1977), pp. 313–319. - Howard L. Hiller, Martin Huber, and Saharon Shelah. The structure of Ext(A,ℤ) and V = L. Mathematische Zeitschrift, vol. 162 (1978), pp. 39–50. - Saharon Shelah. The consistency of Ext(G, Z) = Q. Israel journal of mathematics, vol. 39 (1981), pp. 74–82.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1068-1070
-
- Article
- Export citation
G. S. Makanin. The problem of solvability of equations in a free semigroup. Mathematics of the USSR—Sbornik, vol. 32 (for 1977, pub. 1979), pp. 129–198. (English translation by G. A. Randall of Probléma razréšimosti uravnénij v svobodnoj polugruppé, Matématičéskÿ sbornik, n.s. vol. 103(145) (1977), pp. 147–236.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1070-1071
-
- Article
- Export citation
G. S. Makanin. Equations in a free group. Mathematics of the USSR—Izvestiya, vol. 21 no. 3 (for 1983, pub. 1984), pp. 483–546. (English translation by G. A. Kandall of Uravnéniá v svobodnoj gruppé, Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 46 (1982), pp. 1199–1273.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1071-1073
-
- Article
- Export citation
Wolfram Schwabhäuser, Wanda Szmielew, and Alfred Tarski. Ein axiomatischer Aujbau der euklidischen Geometrie. Metamathematische Methoden in der Geometrie, Hochschultext, Springer-Verlag, Berlin etc. 1983, pp. 1–171. - Wolfram Schwabhäuser. Metamathematische Betrachtungen. Metamathematische Methoden in der Geometrie, pp. 173–457.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1073-1075
-
- Article
- Export citation
Per Martin-Löf. Intuitionistic type theory. (Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.) Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1075-1076
-
- Article
- Export citation
J. L. Bell. Boolean-valued models and independence proofs in set theory. Second edition of XLVI 165. Oxford logic guides, no. 12. Clarendon Press, Oxford University Press, Oxford and New York1985, xx + 165 pp. - Dana Scott. Foreword. A revised reprint of XLVI 165. Therein, pp. vii–xiii.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1076-1077
-
- Article
- Export citation
Robert Goldblatt. Topoi. The categorial analysis of logic. Revised edition of XLVII 445. Studies in logic and the foundations of mathematics, vol. 98. North-Holland, Amsterdam, New York, and Oxford, 1984, xvi + 551 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1077-1078
-
- Article
- Export citation
Melvin Fitting. Fundamentals of generalized recursion theory. Studies in logic and the foundations of mathematics, vol. 105. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xx + 307 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1078-1079
-
- Article
- Export citation
Jeffrey D. Ullman. Principles of database systems. Second edition. Computer software engineering series. Computer Science Press, Rockville, Md., 1982, vii + 484 pp. - David Maier. The theory of relational databases. Computer Science Press, Rockville, Md., 1983, xv + 637 pp. - Ashok K. Chandra and David Harel. Computable queries for relational data bases. Journal of computer and system sciences, vol. 21 (1980), pp. 156–178.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1079-1084
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Ldgic, Washington, DC, 1985
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1085-1092
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1093-1103
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1104-1105
-
- Article
- Export citation
Institutional Members 1986
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 1106
-
- Article
- Export citation
Individual Members 1986
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1107-1142
-
- Article
- Export citation
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1145
-
- Article
- Export citation
Front matter
JSL volume 51 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 51 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b8
-
- Article
-
- You have access
- Export citation