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 updated on Tue May 21 02:40:55 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page