The Bulletin of Symbolic Logic, Volume 10

Volume 10, Number 1, March 2004

• Jon Barwise. 1-
  
• Akihiro Kanamori:
  Introduction. 3-
  

• H. Jerome Keisler, Julia F. Knight:
  Barwise: infinitary logic and admissible sets. 4-36
  
• Jouko A. Väänänen:
  Barwise: Abstract model theory and generalized quantifiers. 37-53
  
• Keith Devlin:
  Jon Barwise's papers on natural language semantics. 54-85
  
• Sun-Joo Shin:
  Heterogeneous reasoning and its logic. 86-106
  

Volume 10, Number 2, June 2004

• Øystein Linnebo:
  Predicative fragments of Frege Arithmetic. 153-174
  
• Linus Kramer, Katrin Tent:
  Asymptotic cones and ultrapowers of Lie groups. 175-185
  
• Robert Goldblatt, Ian M. Hodkinson, Yde Venema:
  Erdös graphs resolve Fine's canonicity problem. 186-208
  

Volume 10, Number 3, September 2004

• Jeremy Avigad:
  Forcing in proof theory. 305-333
  
• John T. Baldwin:
  Notes on quasiminimality and excellence. 334-366
  
• Torkel Franzén:
  Transfinite progressions: a second look at completeness. 367-389
  

• Lou van den Dries, Yiannis N. Moschovakis:
  Is the Euclidean algorithm optimal among its peers? 390-418
  

Volume 10, Number 4, December 2004

• Robert I. Soare:
  Computability theory and differential geometry. 457-486
  
• Akihiro Kanamori:
  Zermelo and set theory. 487-553
  

Last update Wed May 22 17:04:37 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page