The Bulletin of Symbolic Logic, Volume 11

Volume 11, Number 1, March 2005

• Stephen G. Simpson:
  Mass problems and randomness. 1-27
  

• Itay Ben-Yaacov:
  Compactness and independence in non first order frameworks. 28-50
  
• Justin Tatch Moore:
  Proper forcing, cardinal arithmetic, and uncountable linear orders. 51-60
  

Volume 11, Number 2, June 2005

• Kurt Gödel (1906-1978). 129-
  
• Akihiro Kanamori:
  Preface. 131-
  

• Solomon Feferman:
  The Gödel editorial project: A synopsis. 132-149
  
• John W. Dawson Jr., Cheryl A. Dawson:
  Future tasks for Gödel scholars. 150-171
  
• Wilfried Sieg:
  Only two letters: The correspondence between Herbrand and Gödel. 172-184
  
• Warren D. Goldfarb:
  On Gödel's way in: the influence of Rudolf Carnap. 185-193
  
• Martin Davis:
  What did Gödel believe and when did he believe it? 194-206
  
• Donald A. Martin:
  Göel's conceptual realism. 207-224
  
• W. W. Tait:
  Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counterexample interpretation. 225-238
  

Volume 11, Number 3, September 2005

• Harold Simmons:
  Tiering as a recursion technique. 321-350
  
• Penelope Maddy:
  Mathematical existence. 351-376
  
• Peter Koepke:
  Turing computations on ordinals. 377-397
  

• Noam Greenberg:
  The role of true finiteness in the admissible recursively enumerable degrees. 398-410
  
• Joseph R. Mileti:
  Partition Theorems and Computability Theory. 411-427
  
• Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev:
  Undecidability of first-order intuitionistic and modal logics with two variables. 428-
  

Volume 11, Number 4, December 2005

• Tarek Sayed Ahmed:
  Algebraic logic, where does it stand today? 465-516
  

• Juris Steprans:
  Geometric cardinal invariants, maximal functions and a measure theoretic pigeonhole principle. 517-525
  
• Carl Mummert, Stephen G. Simpson:
  Reverse mathematics and pi¹₂ comprehension. 526-533
  

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