The Bulletin of Symbolic Logic, Volume 13

Volume 13, Number 1, March 2007

• Nikolai Weaver:
  Set Theory and C*-Algebras. 1-20
  
• John L. Bell:
  Incompleteness in a General Setting. 21-30
  
• Itay Neeman:
  Inner Models and Ultrafilters in L(R). 31-53
  

• Michal Rössler, Emil Jerábek:
  Fragment of Nonstandard Analysis with a Finitary Consistency Proof. 54-70
  
• Antonio Montalbán:
  On the Equimorphism Types of Linear Orderings. 71-99
  

Volume 13, Number 2, June 2007

• Akihiro Kanamori:
  Gödel and Set Theory. 153-188
  
• Jan von Plato:
  In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs. 189-225
  

• Richard A. Shore:
  Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond. 226-239
  

Volume 13, Number 3, September 2007

• André Nies:
  Describing Groups. 305-339
  
• Steven Awodey, Carsten Butz, Alex Simpson, Thomas Streicher:
  Relating First-order Set Theories and Elementary Toposes. 340-358
  

Volume 13, Number 4, December 2007

• Nathan Segerlind:
  The Complexity of Propositional Proofs. 417-481
  
• Étienne Matheron, Miroslav Zelený:
  Descriptive Set Theory of Families of Small Sets. 482-537