Contents
Reviews
Igal Kvart. A theory of counterfactuals. Hackett Publishing Company, Indianapolis1986, xxviii + 283 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1100-1102
-
- Article
- Export citation
Charles B. Daniels, James B. Freeman, and Gerald W. Charlwood. Toward an ontology of number, mind and sign. Scots philosophical monographs, no. 10. Aberdeen University Press, Aberdeen, and Humanities Press, Atlantic Highlands, N. J., 1986, vii + 155 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1102-1104
-
- Article
- Export citation
Saharon Shelah, Can you take Solovay's inaccessible away?Israel journal of mathematics, vol. 48 (1984), pp. 1–47. - Jean Raisonnier, A mathematical proof of S. Shelah's theorem on the measure problem and related results, Israel journal of mathematics, vol. 48 (1984), pp. 48–56.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 633-635
-
- Article
- Export citation
Stevo Todorčević, Forcing positive partition relations, Transactions of the American Mathematical Society, vol. 280 (1983), pp. 703–720. - Stevo Todorčević, Directed sets and cofinal types, Transactions of the American Mathematical Society, vol. 290 (1985), pp. 711–723. - Stevo Todorčević, Reals and positive partition relations, Logic, methodology and philosophy of science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983, edited by Ruth Barcan Marcus, Georg J. W. Dorn, and Paul Weingartner, Studies in logic and the foundations of mathematics, vol. 114, North-Holland, Amsterdam, New York, Oxford, and Tokyo, 1986, pp. 159–169. - Stevo Todorčević, Remarks on chain conditions in products, Compositio mathematica, vol. 55 (1985), pp. 295–302. - Stevo Todorčević, Remarks on cellularity in products, Compositio mathematica, vol. 57 (1986), pp. 357–372. - Stevo Todorčević, Partition relations for partially ordered sets, Acta mathematica, vol. 155 (1985), pp. 1–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 635-638
-
- Article
- Export citation
Eric Livingston. The ethnomethodological foundations of mathematics. Studies in ethnomethodology. Routledge & Kegan Paul, London, Boston, and Henley, 1986, xiii + 241 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1104-1105
-
- Article
- Export citation
Stevo B. Todorčević, Trees, subtrees and order types, Annals of mathematical logic, vol. 20 (1981), pp. 233–268. - Stevo Todorcevic, Aronszajn trees and partitions, Israel journal of mathematics, vol. 52 (1985), pp. 53–58.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 638-639
-
- Article
- Export citation
G. Mirkowska and A. Salwicki. Algorithmic logic. D. Reidel Publishing Company, Dordrecht etc., and PWN-Polish Scientific Publishers, Warsaw, 1987, xi + 372 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1105-1106
-
- Article
- Export citation
Daniel J. Velleman, Morasses, diamond, and forcing, Annals of mathematical logic, vol. 23 (1982), pp. 199–281. - Dan Velleman. On a generalization of Jensen's □κ, and strategic closure of partial orders, The journal of symbolic logic, vol. 48, no. 4 (for 1983, pub. 1984), pp. 1046–1052.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 639-646
-
- Article
- Export citation
Uwe Schöning. Complexity and structure. Lecture notes in computer science, vol. 211. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1986, v + 99 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1106-1107
-
- Article
- Export citation
Meeting Report
European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 647-672
-
- Article
- Export citation
Reviews
Jan Krajíček and Pavel Pudlák. The number of proof lines and the size of proofs in first order logic. Archive for mathematical logic, vol. 27 (1988), pp. 69–84.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1107-1108
-
- Article
- Export citation
Meeting Report
The third Asian conference in mathematical logic, Beijing, 1987
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 673
-
- Article
- Export citation
Reviews
Judy Roitman. Height and width of superatomic Boolean algebras. Proceedings of the American Mathematical Society, vol. 94 (1985), pp. 9–14. - James E. Baumgartner and Saharon Shelah. Remarks on superatomic Boolean algebras. Annals of pure and applied logic, vol. 33 (1987), pp. 109–129.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1108-1109
-
- Article
- Export citation
Patrick Farrington. Hinges and automorphisms of the degrees of non-constructibility. The journal of the London Mathematical Society, ser. 2 vol. 28 (1983), pp. 193–202. - Petr Hájek. Some results on degrees of constructibility. Higher set theory, Proceedings, Oberwolfach, Germany, April 13–23, 1977, edited by G. H. Müller and D. S. Scott, Lecture notes in mathematics, vol. 669, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 55–71. - Zofia Adamowicz. On finite lattices of degrees of constructibility of reals. The journal of symbolic logic, vol. 41 (1976), pp. 313–322. - Zofia Adamowicz. Constructive semi-lattices of degrees of constructibility. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 1–43.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1109-1111
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 674-677
-
- Article
- Export citation
Reviews
Peter Aczel. Non-well-founded sets. With a foreword by Jon Barwise. CSLI lecture notes, no. 14. Center for the Study of Language and Information, Stanford1988, also distributed by the University of Chicago Press, Chicago, xx + 131 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1111-1114
-
- Article
- Export citation
Meeting Report
1988 annual meeting of the Australasian Association for Logic, Perth, 1988
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-685
-
- Article
- Export citation
Algebraic logic conference, Budapest, 1988
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 686
-
- Article
- Export citation
Reviews
Ralph Freese and Ralph McKenzie. Commutator theory for congruence modular varieties. London Mathematical Society lecture note series, no. 125. Cambridge University Press, Cambridge etc. 1987, iii + 227 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1114-1115
-
- Article
- Export citation
Mike Prest. Model theory and modules. London Mathematical Society lecture note series, no. 130. Cambridge University Press, Cambridge etc. 1988, xviii + 380 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1115-1118
-
- Article
- Export citation