Contents
Reviews
John T. Baldwin. Fundamentals of stability theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1988, xiii + 447 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-259
-
- Article
- Export citation
W. Hugh Woodin. AD and the uniqueness of the supercompact measures on Pω1 (λ). Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschavokis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. 1983, pp. 67–71. - W. Hugh Woodin. Some consistency results in ZFC using AD. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschavokis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. 1983, pp. 172–198. - Alexander S. Kechris. Subsets of ℵ1 constructihle from areal. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin etc. 1988, pp. 110–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-261
-
- Article
- Export citation
John R. Steel. Scales on sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. pp. 72–76. - Yiannis N. Moschovakis. Scales on coinductive sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc., pp. 77–85. - Donald A. Martin and John R. Steel. The extent of scales in L(ℝ). Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc., pp. 86–96. - John R. Steel. Scales in L(ℝ). Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc., pp. 107–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-262
-
- Article
- Export citation
Donald A. Martin. The largest countable this, that, and the other. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 97–106. - Alexander S. Kechris, Donald A. Martin, and Robert M. Solovay. Introduction to Q-theory. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, pp. 199–282. - Steve Jackson. AD and the projective ordinals. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1988, pp. 117–220.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-264
-
- Article
- Export citation
A. Louveau. Some results in the Wadge hierarchy of Borel sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. 1983, pp. 28–55. - A. Louveau and J. Saint Raymond. Borel classes and closed games: Wadge-type and Hurewicz-type results. Transactions of the American Mathematical Society, vol. 304 (1987), pp. 431–467. - Alain Louveau and Jean Saint Raymond. The strength of Borel Wadge determinacy. Cabal seminar 81–85, Proceedings, Caltech-UCLA Logic Seminar 1981–85, edited by A. S. Kechris, D. A. Martin, and J. R. Steel, Lecture notes in mathematics, vol. 1333, Springer-Verlag, Berlin etc. 1988, pp. 1–30.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-266
-
- Article
- Export citation
Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor. Algebras, lattices, varieties. Volume I. The Wadsworth & Brooks/Cole mathematics series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif., 1987, xii + 361 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 266-268
-
- Article
- Export citation
Graphs and order. The role of graphs in the theory of ordered sets and its applications, edited by Ivan Rival, NATO ASI series C, vol. 147, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1985, xix + 796 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-271
-
- Article
- Export citation
Barbara H. Partee, Alice ter Meulen, and Robert E. Wall. Mathematical methods in linguistics. Studies in linguistics and philosophy, vol. 30. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1990, xx + 663 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-272
-
- Article
- Export citation
Bengt Nordström, Kent Petersson, and Jan M. Smith. Programming in Martin-Löf's type theory. An introduction. The international series of monographs on computer science, no. 7. Clarendon Press, Oxford University Press, Oxford and New York1990, x + 221 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 272-274
-
- Article
- Export citation
Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. Logic programming, Proceedings of the fifth international conference and symposium, Volume 2, edited by Robert A. Kowalski and Kenneth A. Bowen, Series in logic programming, The MIT Press, Cambridge, Mass., and London, 1988, pp. 1070–1080. - Kit Fine. The justification of negation as failure. Logic, methodology and philosophy of science VIII, Proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987, edited by Jens Erik Fenstad, Ivan T. Frolov, and Risto Hilpinen, Studies in logic and the foundations of mathematics, vol. 126, North-Holland, Amsterdam etc. 1989, pp. 263–301.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 274-277
-
- Article
- Export citation
Non-standard logics for automated reasoning, edited by Philippe Smets, Abe Mamdani, Didier Dubois, and Henri Prade, Academic Press, London etc. 1988, x + 334 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-281
-
- Article
- Export citation
Other
European Summer Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-351
-
- Article
- Export citation
Correction
Corrections to the Logic Colloquium '90 (Helsinki) abstracts
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
-
- Article
- Export citation
Meeting Report
Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-365
-
- Article
- Export citation
Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-371
-
- Article
- Export citation
Eighth Latin American Symposium on Mathematical Logic, João Pessoa
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-382
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-384
-
- Article
- Export citation
Front matter
JSL volume 57 issue 1 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 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation