The Bulletin of Symbolic Logic, Volume 15

Volume 15, Number 1, March 2009

• Valery Plisko:
  A Survey of Propositional Realizability Logic. 1-42
  
• Akihiro Kanamori:
  Bernays and Set Theory. 43-69
  

• Adrien Deloro:
  Actions of Groups of Finite Morley Rank on Small Abelian Groups. 70-90
  

Volume 15, Number 2, June 2009

• Andreas Blass, Nachum Dershowitz, Yuri Gurevich:
  When are two algorithms the same? 145-168
  
• Román Sasyk, Asger Törnquist:
  Borel reducibility and classification of von Neumann algebras. 169-183
  
• Christian Rosendal:
  Automatic continuity of group homomorphisms. 184-214
  

Volume 15, Number 3, September 2009

• Alasdair Urquhart:
  Enumerating types of Boolean functions. 273-299
  

• Bart Kastermans:
  Isomorphism types of maximal cofinitary groups. 300-319
  

Volume 15, Number 4, December 2009

• Stephen G. Simpson:
  Mass problems and measure-theoretic regularity. 385-409
  
• Philip D. Welch:
  Games for truth. 410-427
  

Last update Sun May 26 09:08:40 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page