The Bulletin of Symbolic Logic
Volume 2, 1996
Articles
The mathematical development of set theory from Cantor to Cohen
, by Akihiro Kanamori, pages 1 - 71.
The discovery of my completeness proofs
, by Leon Henkin, pages 127 - 158.
Pure proof theory, aims, methods and results
, by Wolfram Pohlers, pages 159 - 188.
Deductive completeness
, by Kosta Dosen, pages 243 - 283.
Computability and recursion
, by Robert I. Soare, pages 284 - 321.
Another use of set theory
, by Patrick Dehornoy, pages 379 - 391.
Communications
Geometry, calculus and Zil'ber's conjecture
, by Ya'acov Peterzil and Sergei Starchenko, pages 72 - 83.
From ``metabelian Q-vector spaces'' to new \omega-stable groups
, by Olivier Chapuis, pages 84 - 93.
Two applications of inner model theory to the study of \Sigma^1_2 sets
, by Greg Hjorth, pages 94 - 107.
Hyperfinite law of large numbers
, by Yeneng Sun, pages 189 - 198.
Definability, automorphisms, and dynamic properties of computably enumerable sets
, by Leo Harrington and Robert I. Soare, pages 199 - 213.
Linear logic proof games and optimization
, by Patrick D. Lincoln, John C. Mitchell, and Andre Scedrov, pages 322 - 338.
Analytic ideals
, by Slawomir Solecki, pages 339 - 348.
A note on the completeness of Kozen's axiomatisation of the propositional \mu-calculus
, by Igor Walukiewicz, pages 349 - 366.
Definability in the recursively enumerable degrees
, by AndréNies, Richard A. Shore, and Theodore A. Slaman, pages 392 - 404.
Une preuve formelle et intuitionniste du théorème de complétude de la logique classique
, by Jean-Louis Krivine, pages 405 - 421.
Almost everywhere equivalence of logics in finite model theory
, by Lauri Hella, Phokion G. Kolaitis, and Kerkko Luosto, pages 422 - 443.
Obituaries
In memoriam: George Stephen Boolos, 1940-1996
, by Warren Goldfarb, pages 444 - 447.
In memoriam: Robin Oliver Gandy, 1919-1995
, by Yiannis Moschovakis and Mike Yates, pages 367 - 370.
In memoriam: Vladimir Aleksandrovich Smirnov, 1931-1996
, by V. L. Vasyukov, pages 371 - 372.
In memoriam: Hao Wang, 1921 - 1995
, by Charles Parsons, pages 108 - 111.
Meetings of the Association
ASL Annual Meeting, Madison, Wisconsin, March 9-12, 1996
, pages 448 - 472.
Meetings sponsored by the Association
Australasian Association for Logic 30th anniversary conference, Armidale, New South Wales, Australia, June 30 - July 3, 1995
, pages 112 - 120.
X Latin American Symposium on Mathematical Logic, Bogotá, Colombia, July 24-29, 1995
, pages 214 - 237.
3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96), Salvador (Bahia), Brazil, May 8-10, 1996
, page 374.
Gödel '96 Conference on the Logical Foundations of Mathematics, Computer Science and Physics, Brno, Czech Republic, August 25-29, 1996
, page 473.
Notices
George Boolos, President of the Association for Symbolic Logic
, page 373.
Notices (No. 1)
, pages 121 - 125.
Notices (No. 2)
, pages 238 - 241.
Notices (No. 3)
, pages 375 - 377.
Notices (No. 4)
, pages 519 - 522.
Officers, committees and members of the Association
List of officers and committees of the Association for Symbolic Logic
, pages 474 - 477.
List of members of the Association for Symbolic Logic
, pages 478 - 518.
Errata
Erratum (No. 1)
, page 126.
Erratum (No. 2)
, page 242.
Errata (No. 4)
, pages 523 - 524.