The Bulletin of Symbolic Logic, Volume 2

Volume 2, Number 1, March 1996

• Akihiro Kanamori:
  The mathematical development of set theory from Cantor to Cohen. 1-71
  

• Ya'acov Peterzil, Sergei Starchenko:
  Geometry, calculus and Zil'ber's conjecture. 72-83
  
• Olivier Chapuis:
  From "metabelian Q-vector spaces'' to new infinity-stable groups. 84-93
  
• Greg Hjorth:
  Two applications of inner model theory to the study of Sigma¹₂ sets. 94-107
  

Volume 2, Number 2, June 1996

• Leon Henkin:
  The discovery of my completeness proofs. 127-158
  
• Wolfram Pohlers:
  Pure proof theory, aims, methods and results. 159-188
  

• Yeneng Sun:
  Hyperfinite law of large numbers. 189-198
  
• Leo Harrington, Robert I. Soare:
  Definability, automorphisms, and dynamic properties of computably enumerable sets. 199-213
  

Volume 2, Number 3, September 1996

• Kosta Dosen:
  Deductive completeness. 243-283
  
• Robert I. Soare:
  Computability and recursion. 284-321
  

• Patrick Lincoln, John C. Mitchell, Andre Scedrov:
  Linear logic proof games and optimization. 322-338
  
• Slawomir Solecki:
  Analytic ideals. 339-348
  
• Igor Walukiewicz:
  A note on the completeness of Kozen's axiomatisation of the propositional mu-calculus. 349-366
  

Volume 2, Number 4, December 1996

• Patrick Dehornoy:
  Another use of set theory. 379-391
  

• André Nies, Richard A. Shore, Theodore A. Slaman:
  Definability in the recursively enumerable degrees. 392-404
  
• Jean-Louis Krivine:
  Une preuve formelle et intuitionniste du théorème de complétude de la logique classique. 405-421
  
• Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto:
  Almost everywhere equivalence of logics in finite model theory. 422-443
  

Last update Tue May 21 18:25:52 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page